[Back]


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), 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.