[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs, A. Voronkov:
"First-Order Theorem Proving in Rigorous Systems Engineering";
Keynote Lecture: RiSE/SHiNE Winter School 2018, Wien (invited); 2018-02-05 - 2018-02-09.

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