Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs, A. Voronkov:
"Invariant Generation using Theorem Proving";
Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (invited);
2011-09-26
- 2011-09-29.