Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Zuleger:
"Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction";
Vortrag: International Static Analysis Symposium (SAS),
Freiburg, Germany;
29.08.2018
- 31.08.2018; 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;
S. 423
- 444.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-99725-4_25
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277580.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.