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),
Suva, Fiji;
2015-11-24
- 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.);
LNCS,
9450
(2015),
ISBN: 978-3-662-48898-0;
434
- 443.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-48899-7
Created from the Publication Database of the Vienna University of Technology.