%0 Conference Paper %1 conf/aplas/Distefano08 %A Distefano, Dino %B APLAS %D 2008 %E Ramalingam, G. %I Springer %K dblp %P 1-2 %T Abductive Inference for Reasoning about Heaps. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2008.html#Distefano08 %V 5356 %@ 978-3-540-89329-5

@inproceedings{conf/aplas/Distefano08, added-at = {2017-05-19T00:00:00.000+0200}, author = {Distefano, Dino}, biburl = {https://www.bibsonomy.org/bibtex/252d35d4018370c5133d083b0f1d64395/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2008}, editor = {Ramalingam, G.}, ee = {https://doi.org/10.1007/978-3-540-89330-1_1}, interhash = {7b58c1b764267de16e799c93a06b2c6f}, intrahash = {52d35d4018370c5133d083b0f1d64395}, isbn = {978-3-540-89329-5}, keywords = {dblp}, pages = {1-2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:41:50.000+0200}, title = {Abductive Inference for Reasoning about Heaps.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2008.html#Distefano08}, volume = 5356, year = 2008 }