[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination for Program Analysis";
Keynote Lecture: Highlights of Logic, Games and Automata, Berlin, Germany (invited); 2018-09-18 - 2018-09-21.

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