%0 Journal Article %1 journals/jacm/CousotCM12 %A Cousot, Patrick %A Cousot, Radhia %A Mauborgne, Laurent %D 2012 %J J. ACM %K dblp %N 6 %P 31:1-31:56 %T Theories, solvers and static analysis by abstract interpretation. %U http://dblp.uni-trier.de/db/journals/jacm/jacm59.html#CousotCM12 %V 59

@article{journals/jacm/CousotCM12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cousot, Patrick and Cousot, Radhia and Mauborgne, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/23dfe69e3018e59065257fa5cc34702f9/dblp}, ee = {https://doi.org/10.1145/2395116.2395120}, interhash = {d08c546b052a433b4ebd245c66f6e054}, intrahash = {3dfe69e3018e59065257fa5cc34702f9}, journal = {J. ACM}, keywords = {dblp}, number = 6, pages = {31:1-31:56}, timestamp = {2018-11-07T12:11:12.000+0100}, title = {Theories, solvers and static analysis by abstract interpretation.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm59.html#CousotCM12}, volume = 59, year = 2012 }