bibtex

@inproceedings{PH07,
    title = { An abstract domain extending {D}ifference-{B}ound {M}atrices with disequality constraints },
    author = {P\'eron, Mathias and Halbwachs, Nicolas},
    month = {jan},
    year = {2007},
    booktitle = {8th International Conference on Verification, Model-checking, and Abstract Intepretation, VMCAI'07},
    address = {Nice, France},
    team = {SYNC},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4092516