Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
P. Georgiou, B. Gleiss, L. Kovacs:
"Trace Logic for Inductive Loop Reasoning";
Vortrag: 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Haifa, Israel;
21.09.2020
- 24.09.2020; in: "Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020",
A. Ivrii, O. Strichman (Hrg.);
IEEE,
(2020),
ISBN: 978-3-85448-042-6;
S. 255
- 263.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_33
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_293904.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.