Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"First-Order Interpolation";
Keynote Lecture: SAT/SMT/AR Summer School 2018,
Manchester (invited);
2018-07-03
- 2018-07-06.
Created from the Publication Database of the Vienna University of Technology.