%0 Conference Paper %1 Blanchet+others/03/Static %A Blanchet, Bruno %A Cousot, Patrick %A Cousot, Radhia %A Feret, Jerome %A Mauborgne, Laurent %A Miné, Antoine %A Monniaux, David %A Rival, Xavier %B ACM SIGPLAN PLDI'03 %D 2003 %I ACM Press %K imported %P 196--207 %T A Static Analyzer for Large Safety-Critical Software %V 548030

@inproceedings{Blanchet+others/03/Static, added-at = {2009-05-20T01:29:36.000+0200}, author = {Blanchet, Bruno and Cousot, Patrick and Cousot, Radhia and Feret, Jerome and Mauborgne, Laurent and Min\'e, Antoine and Monniaux, David and Rival, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/2663ea82c5c661550f08815f49e22f181/sriram0339}, booktitle = {ACM SIGPLAN PLDI'03}, description = {First cut database}, interhash = {ca18dfe37ed9c3e2a2974730d7702d5a}, intrahash = {663ea82c5c661550f08815f49e22f181}, keywords = {imported}, month = {June}, optnote = {\url{http://www.di.ens.fr/~mine/publi/pldi045-blanchet.pdf}}, pages = {196--207}, publisher = {ACM Press}, timestamp = {2009-05-20T01:29:36.000+0200}, title = {A Static Analyzer for Large Safety-Critical Software}, volume = 548030, year = 2003 }