[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Formal Methods for Program Verification";
Talk: SAAB/Chalmers joint research seminar, SAAB Kallebäck, Schweden (invited); 2013-11-06.

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