Talks and Poster Presentations (with Proceedings-Entry):
A. Humenberger, L. Kovacs:
"Algebra-Based Synthesis of Loops and Their Invariants";
Talk: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Copenhagen, Denmark (invited);
2021-01-17
- 2021-01-19; in: "Proceedings of the 22n International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
F. Henglein, S. Shoham, Y. Vizel (ed.);
Springer LNCS,
12597
(2021),
17
- 28.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-67067-2_2
Created from the Publication Database of the Vienna University of Technology.