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.