[Back]


Diploma and Master Theses (authored and supervised):
M. Moosbrugger:
"Automating Termination Analysis of Probabilistic Programs";
Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-23.

Electronic version of the publication:
https://repositum.tuwien.at/handle/20.500.12708/1139

Created from the Publication Database of the Vienna University of Technology.