[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Automated Theorem Proving - with some Applications to Verification";
Talk: ARiSE/VCLA Winter School on Verification, Wien; 2012-02-06 - 2012-02-10.

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