Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv, editors, Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009. Volume 09301 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
Conference: Dagstuhl2009
@proceedings{dagstuhl-2009P9301,
title = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09301/},
researchr = {https://researchr.org/publication/dagstuhl-2009P9301},
cites = {0},
citedby = {0},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009},
conference = {Dagstuhl},
editor = {Peter W. O'Hearn and Arnd Poetzsch-Heffter and Mooly Sagiv},
volume = {09301},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}