Talks and Poster Presentations (with Proceedings-Entry):
J. Pagel, C. Jansen, F. Zuleger, C. Matheja, T. Noll:
"Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic";
Talk: European Symposium on Programming (ESOP),
Uppsala;
2017-04-22
- 2017-04-29; in: "Programming Languages and Systems - 26th European Symposium on Programming",
(2017),
611
- 638.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-54434-1_23
Created from the Publication Database of the Vienna University of Technology.