[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination for Program Analysis";
Talk: Theoretical Computer Science Seminar Series of the KTH Royal Institute of Technology,, Stockholm, Sweden (invited); 2015-05-18.

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