%0 Journal Article %1 journals/corr/abs-cs-0701193 %A Blanchet, Bruno %A Cousot, Patrick %A Cousot, Radhia %A Feret, Jérôme %A Mauborgne, Laurent %A Miné, Antoine %A Monniaux, David %A Rival, Xavier %D 2007 %J CoRR %K %T A Static Analyzer for Large Safety-Critical Software %U http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701193 %V abs/cs/0701193

@article{journals/corr/abs-cs-0701193, added-at = {2023-12-14T14:21:34.000+0100}, author = {Blanchet, Bruno and Cousot, Patrick and Cousot, Radhia and Feret, Jérôme and Mauborgne, Laurent and Miné, Antoine and Monniaux, David and Rival, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/237d40fc9be2296fa1321f87c5449100b/admin}, ee = {http://arxiv.org/abs/cs/0701193}, interhash = {dee8c08cfeca16f1ea2765261ab9de92}, intrahash = {37d40fc9be2296fa1321f87c5449100b}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T14:21:34.000+0100}, title = {A Static Analyzer for Large Safety-Critical Software}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0701.html#abs-cs-0701193}, volume = {abs/cs/0701193}, year = 2007 }