Talks and Poster Presentations (with Proceedings-Entry):
F. Zuleger:
"Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction";
Talk: International Static Analysis Symposium (SAS),
Freiburg, Germany;
2018-08-29
- 2018-08-31; in: "Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings",
Springer,
Lecture Notes in Computer Science
(2018),
ISBN: 978-3-319-99724-7;
423
- 444.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-99725-4_25
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277580.pdf
Created from the Publication Database of the Vienna University of Technology.