[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"Symbol Elimination and Interpolation for Software Verification";
Keynote Lecture: Intel Haifa, Haifa, Israel (invited); 2010-12-17 - 2010-12-23.


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