Verimag

bibtex

@inproceedings{HMM12c,
    title = {Succinct Representations for Abstract Interpretation },
    author = {Henry, Julien and Monniaux, David and Moy, Matthieu},
    year = {2012},
    booktitle = {Static analysis (SAS)},
    note = {To appear},
    team = {SYNC,PACSS},
}

Publication Sections


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

info visites 844755