Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Automated Theorem Proving - An Introduction";
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.