[Back]


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.