Talks and Poster Presentations (with Proceedings-Entry):
J. Pagel, 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)
http://dx.doi.org/10.1007/978-3-319-94205-6_30
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_275723.pdf
Created from the Publication Database of the Vienna University of Technology.