[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"Symbol Elimination for Program Analysis";
Keynote Lecture: ETH Workshop on Software Correctness and Reliability, Zürich, Switzerland (invited); 2017-10-13 - 2017-10-14.


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