%0 Journal Article %1 journals/toplas/BallMR05 %A Ball, Thomas %A Millstein, Todd D. %A Rajamani, Sriram K. %D 2005 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 314-343 %T Polymorphic predicate abstraction. %U http://dblp.uni-trier.de/db/journals/toplas/toplas27.html#BallMR05 %V 27

@article{journals/toplas/BallMR05, added-at = {2024-07-09T00:00:00.000+0200}, author = {Ball, Thomas and Millstein, Todd D. and Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/2ff4fcda6d7555cb4c4d53fe2246dd4af/dblp}, ee = {https://doi.org/10.1145/1057387.1057391}, interhash = {ae774e3d760cbc0d3c4c86a9b59b16a0}, intrahash = {ff4fcda6d7555cb4c4d53fe2246dd4af}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {314-343}, timestamp = {2024-07-15T07:09:07.000+0200}, title = {Polymorphic predicate abstraction.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas27.html#BallMR05}, volume = 27, year = 2005 }