Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Gleiss, L. Kovacs, S. Robillard:
"Loop Analysis by Quantification over Iterations";
Vortrag: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Awassa, Ethiopia;
16.11.2018
- 21.11.2018; in: "Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)",
G. Barthe, G. Sutcliffe, M. Veanes (Hrg.);
EasyChair EPiC Series in Computing,
57
(2018),
S. 381
- 399.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/269p
Elektronische Version der Publikation:
https://easychair.org/publications/paper/W2Db
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.