[Back]


Talks and Poster Presentations (with Proceedings-Entry):
J. Pagel, F. Zuleger:
"Strong-Separation Logic";
Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "30th European Symposium on Programming, ESOP 2021", Springer, 12648 (2021), 664 - 692.

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_303557.pdf

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