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,
Timisoara, Romania;
2012-11-01
- 2012-11-03; in: "Proceedings of 13th International Conference on Mathematics and its Applications",
Scientific Bulletin of Politehnica University Timisoara, Romania,
(2012),
ISSN: 1224-6069;
145
- 150.
Created from the Publication Database of the Vienna University of Technology.