@inproceedings{DBLP:conf/lpar/KahsaiKRS17,
author = {Temesghen Kahsai and
Rody Kersten and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
title = {Quantified Heap Invariants for Object-Oriented Programs},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
pages = {368--384},
year = {2017},
crossref = {DBLP:conf/lpar/2017},
url = {http://www.easychair.org/publications/paper/340351},
timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/KahsaiKRS17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
editor = {Thomas Eiter and
David Sands},
title = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
year = {2017},
url = {http://www.easychair.org/publications/volume/LPAR-21},
timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
biburl = {https://dblp.org/rec/bib/conf/lpar/2017},
bibsource = {dblp computer science bibliography, https://dblp.org}
}