Talks and Poster Presentations (with Proceedings-Entry):
J. Katelaan, C. Jansen, F. Zuleger, C. Matheja, T. Noll:
"Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic";
Talk: European Symposium on Programming (ESOP),
- 2017-04-29; in: "Programming Languages and Systems - 26th European Symposium on Programming",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.