Verimag

bibtex

@article{GM12,
    title = {Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs },
    author = {Gawlitza, Thomas and Monniaux, David},
    year = {2012},
    note = {To appear},
    journal = {Logical Methods in Computer Science},
    team = {SYNC,PACSS},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 778449