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,PACSS},
}


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

info visites 4198347