[Back]


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.