Dissertationen (eigene und begutachtete):
A. Humenberger:
"Algebra-based loop reasoning - invariant generation and synthesis for numeric loops";
Betreuer/in(nen), Begutachter/in(nen): E. Abraham, J. Worrell;
Institute of Logic and Computation, FORSYTE division,
2021;
Rigorosum: 08.02.2021.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.34726/hss.2021.89761
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302957.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.