Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Kotelnikov, L. Kovacs, G. Reger, A. Voronkov:
"The Vampire and the FOOL";
Vortrag: 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP),
Saint Petersburg, Florida, USA;
20.01.2016
- 22.01.2016; in: "Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)",
J. Avigad, A. Chlipala (Hrg.);
ACM,
(2016),
ISBN: 978-1-4503-4127-1;
S. 37
- 48.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/2854065.2854071
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_256068.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.