[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Automated Reasoning for Rigorous Systems Engineering";
Keynote Lecture: RiSE/SHINE Media Seminar 2018, Vienna (invited); 2018-05-07.

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