Talks and Poster Presentations (with Proceedings-Entry):
W. Ahrendt, L. Kovacs, S. Robillard:
"Reasoning About Loops Using Vampire in KeY";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
- 2015-11-28; in: "Proc. of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20)",
M. Davis, A. Fehnker, A. McIver, A. Voronkov (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.