%0 Conference Paper %1 conf/popl/FlanaganQ02 %A Flanagan, Cormac %A Qadeer, Shaz %B POPL %D 2002 %E Launchbury, John %E Mitchell, John C. %I ACM %K dblp %P 191-202 %T Predicate abstraction for software verification. %U http://dblp.uni-trier.de/db/conf/popl/popl2002.html#FlanaganQ02 %@ 1-58113-450-9

@inproceedings{conf/popl/FlanaganQ02, added-at = {2021-07-07T00:00:00.000+0200}, author = {Flanagan, Cormac and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/2c7bc71c305be43d09409ea95378bf9ff/dblp}, booktitle = {POPL}, crossref = {conf/popl/2002}, editor = {Launchbury, John and Mitchell, John C.}, ee = {https://doi.org/10.1145/565816.503291}, interhash = {c6198c02f3f901267cd11c778b721d79}, intrahash = {c7bc71c305be43d09409ea95378bf9ff}, isbn = {1-58113-450-9}, keywords = {dblp}, note = {ACM SIGPLAN Notices 37(1), January 2002}, pages = {191-202}, publisher = {ACM}, timestamp = {2024-04-09T13:30:41.000+0200}, title = {Predicate abstraction for software verification.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2002.html#FlanaganQ02}, year = 2002 }