[Back]


Contributions to Proceedings:

L. Kovacs, A. Voronkov:
"First-Order Theorem Proving and Vampire";
in: "Proceedings of the 25th International Conference on Computer Aided Verification", N. Sharygina, H. Veith (ed.); Springer LNCS 8044, 2013, (invited), ISBN: 978-3-642-39798-1, 1 - 35.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-39799-8_1

Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_225994.pdf


Created from the Publication Database of the Vienna University of Technology.