Talks and Poster Presentations (with Proceedings-Entry):

J. Katelaan, D. Jovanovic, G. Weissenbacher:
"A Separation Logic with Data: Small Models and Automation";
Talk: 9th International Joint Conference on Automated Reasoning (IJCAR) 2018, Oxford; 2018-08-14 - 2018-08-17; in: "Automated Reasoning", LNCS, 10900 (2018), ISBN: 978-3-319-94204-9; 455 - 471.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.