%0 Conference Paper %1 conf/dagstuhl/SagivPO09 %A Sagiv, Mooly %A Poetzsch-Heffter, Arnd %A O'Hearn, Peter W. %B Typing, Analysis and Verification of Heap-Manipulating Programs %D 2009 %E O'Hearn, Peter W. %E Poetzsch-Heffter, Arnd %E Sagiv, Mooly %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T 09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9301.html#SagivPO09 %V 09301

@inproceedings{conf/dagstuhl/SagivPO09, added-at = {2018-08-23T00:00:00.000+0200}, author = {Sagiv, Mooly and Poetzsch-Heffter, Arnd and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/2824f2fbd170a414ef4f4c7d3f734caa6/dblp}, booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs}, crossref = {conf/dagstuhl/2009P9301}, editor = {O'Hearn, Peter W. and Poetzsch-Heffter, Arnd and Sagiv, Mooly}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2436/}, interhash = {1e6932f1ce35cee2c19f4c6509cc764a}, intrahash = {824f2fbd170a414ef4f4c7d3f734caa6}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:00.000+0200}, title = {09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9301.html#SagivPO09}, volume = 09301, year = 2009 }