%0 Journal Article %1 journals/jacm/EsparzaKL10 %A Esparza, Javier %A Kiefer, Stefan %A Luttenberger, Michael %D 2010 %J J. ACM %K dblp %N 6 %P 33:1-33:47 %T Newtonian program analysis. %U http://dblp.uni-trier.de/db/journals/jacm/jacm57.html#EsparzaKL10 %V 57

@article{journals/jacm/EsparzaKL10, added-at = {2021-04-09T00:00:00.000+0200}, author = {Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2993d5bfc00782e87f3af95da551f55ca/dblp}, ee = {https://doi.org/10.1145/1857914.1857917}, interhash = {473e92ed753fbee9d2d22bcd850c7b50}, intrahash = {993d5bfc00782e87f3af95da551f55ca}, journal = {J. ACM}, keywords = {dblp}, number = 6, pages = {33:1-33:47}, timestamp = {2024-04-08T20:01:51.000+0200}, title = {Newtonian program analysis.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm57.html#EsparzaKL10}, volume = 57, year = 2010 }