[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Stankovic:
"Automatic Analysis for Prob-Solvable Loops";
Talk: 13th Alpine Verification Meeting (AVM), Brno, Czech Republic; 2019-09-09 - 2019-09-11.

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