Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Symbol Elimination in Program Analysis";
Keynote Lecture: International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS),
Beijing, China (invited);
2012-10-10
- 2012-10-12.