Talks and Poster Presentations (with Proceedings-Entry):
B. Gleiss, L. Kovacs, S. Robillard:
"Loop Analysis by Quantification over Iterations";
Talk: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Awassa, Ethiopia;
2018-11-16
- 2018-11-21; in: "Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)",
G. Barthe, G. Sutcliffe, M. Veanes (ed.);
EasyChair EPiC Series in Computing,
57
(2018),
381
- 399.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/269p
Electronic version of the publication:
https://easychair.org/publications/paper/W2Db
Created from the Publication Database of the Vienna University of Technology.