Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Program Assertion Synthesis using Symbolic Computation";
Talk: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
Timisoara, Romania (invited);
2011-09-26
- 2011-09-29.