[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination in Program Analysis";
Keynote Lecture: 2nd Facebook Testing and Veri cation Symposium (FaceTAV), London, UK (invited); 2018-11-28 - 2018-11-29.

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