Doctor's Theses (authored and supervised):
A. Humenberger:
"Algebra-based loop reasoning - invariant generation and synthesis for numeric loops";
Supervisor, Reviewer: E. Abraham, J. Worrell;
Institute of Logic and Computation, FORSYTE division,
2021;
oral examination: 2021-02-08.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.34726/hss.2021.89761
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302957.pdf
Created from the Publication Database of the Vienna University of Technology.