[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Quantified Invariant Generation using Symbolic Computation and Theorem Proving";
Keynote Lecture: International Workshop on Symbolic Computation and Software Verification (SCSV), Tsukuba University, Japan (invited); 2010-04-08 - 2010-04-09.

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