Verimag

bibtex

@inproceedings{CCF+08,
    title = {Combination of Abstractions in the ASTR\'EE Static Analyzer },
    author = {Cousot, Patrick and Cousot, Radhia and Feret, J\'er\^ome and Mauborgne, Laurent and Min\'e, Antoine and Monniaux, David and Rival, Xavier},
    year = {2008},
    booktitle = {Advances in Computer Science --- ASIAN 2006. Secure Software and Related Issues},
    pages = {272--300},
    publisher = {Springer Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {4435},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 8 ; visits: 449200