%0 Conference Paper %1 conf/vmcai/BinghamR06 %A Bingham, Jesse D. %A Rakamaric, Zvonimir %B VMCAI %D 2006 %E Emerson, E. Allen %E Namjoshi, Kedar S. %I Springer %K dblp %P 207-221 %T A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#BinghamR06 %V 3855 %@ 3-540-31139-4

@inproceedings{conf/vmcai/BinghamR06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bingham, Jesse D. and Rakamaric, Zvonimir}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ebfae31eccca1044049972b859ed156e/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2006}, editor = {Emerson, E. Allen and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/11609773_14}, interhash = {7b8e1686a1ccbaf5091d96f295d614f4}, intrahash = {ebfae31eccca1044049972b859ed156e}, isbn = {3-540-31139-4}, keywords = {dblp}, pages = {207-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:55:24.000+0200}, title = {A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#BinghamR06}, volume = 3855, year = 2006 }