Talks and Poster Presentations (with Proceedings-Entry):
L. Kovacs, A. Kovacs:
"Examples of Symbol Elimination in Program Verification";
Talk: 13th International Conference on Mathematics and its Applications,
- 2012-11-03; in: "Proceedings of 13th International Conference on Mathematics and its Applications",
Scientific Bulletin of Politehnica University Timisoara, Romania,
Created from the Publication Database of the Vienna University of Technology.