Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Formal Methods in Software Design and Verification";
Talk: SAAB Technical Seminar,
Linköping, Schweden (invited);
2013-11-12.
Created from the Publication Database of the Vienna University of Technology.