[Back]


Talks and Poster Presentations (with Proceedings-Entry):

A. Humenberger, N. Bjorner, L. Kovacs:
"Algebra-Based Loop Synthesis";
Talk: Proceedings of the 16th International Conference on Integrated Formal Methods (iFM), Lugano, Switzerland; 2020-11-16 - 2020-11-20; in: "Proceedings of the 16th International Conference on Integrated Formal Methods", B. Dongol, E. Troubitsyna (ed.); Lecture Notes in Computer Science, Springer, 12546 (2020), ISBN: 978-0-9835678-9-9; 440 - 459.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-63461-2_24


Created from the Publication Database of the Vienna University of Technology.