Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination for Program Analysis";
Talk: Dagstuhl Seminar 15471 on "Symbolic Computation and Satisfiability Checking",
Dagstuhl, Germany (invited);
2015-11-16
- 2015-11-20.