%0 Journal Article %1 journals/fmsd/CousotCFMMR09 %A Cousot, Patrick %A Cousot, Radhia %A Feret, Jérôme %A Mauborgne, Laurent %A Miné, Antoine %A Rival, Xavier %D 2009 %J Formal Methods Syst. Des. %K %N 3 %P 229-264 %T Why does Astrée scale up? %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd35.html#CousotCFMMR09 %V 35

@article{journals/fmsd/CousotCFMMR09, added-at = {2023-12-13T10:31:08.000+0100}, author = {Cousot, Patrick and Cousot, Radhia and Feret, Jérôme and Mauborgne, Laurent and Miné, Antoine and Rival, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/21cb0b78c0b7a5652a8d8c2e1adab9d62/admin}, ee = {https://doi.org/10.1007/s10703-009-0089-6}, interhash = {d8364e3b39d79b746b30725834d59973}, intrahash = {1cb0b78c0b7a5652a8d8c2e1adab9d62}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 3, pages = {229-264}, timestamp = {2023-12-13T10:31:08.000+0100}, title = {Why does Astrée scale up?}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd35.html#CousotCFMMR09}, volume = 35, year = 2009 }