Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Playing in the Grey Area of Proofs";
Talk: Rigorous System Engineering Seminar IST/TU Wien,
Vienna (invited);
2012-03-08.
Created from the Publication Database of the Vienna University of Technology.