[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"Symbolic Computation and Automated Reasoning for Program Analysis";
Keynote Lecture: 23rd IEEE International Conference on Intelligent Engineering Systems (INES) 2019, Gödöllõ, Hungary (invited); 2019-04-25 - 2019-04-27.


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