[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Automated Reasoning for Systems Engineering";
Keynote Lecture: Austrian Computer Science Day 2018, Salzburg (invited); 2016-06-15.

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