Talks and Poster Presentations (with Proceedings-Entry):
E. Kotelnikov, L. Kovacs, G. Reger, A. Voronkov:
"The Vampire and the FOOL";
Talk: 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP),
Saint Petersburg, Florida, USA;
2016-01-20
- 2016-01-22; in: "Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)",
J. Avigad, A. Chlipala (ed.);
ACM,
(2016),
ISBN: 978-1-4503-4127-1;
37
- 48.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2854065.2854071
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_256068.pdf
Created from the Publication Database of the Vienna University of Technology.