Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovacs, Laura ; Voronkov, Andrei (2017)
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Buchkapitel, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovács, Laura ; Voronkov, Andrei (2016)
Using Vampire in Soundness Proofs of Type Systems.
Konferenzveröffentlichung, Bibliographie

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: Hermann, Miki ; Voronkov, Andrei (2006)
Automating Verification of Loops by Parallelization.
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings.
doi: 10.1007/11916277_23
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Robinson, Alan ; Voronkov, Andrei (2001)
Tableaux and Related Methods.
In: Handbook of Automated Reasoning
Buchkapitel, Bibliographie

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Voronkov, Andrei (1993)
Verification of Switch Level Designs with Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

Walther, Christoph
Hrsg.: Voronkov, Andrei (1992)
Computing Induction Axioms.
Proc. of the Inter. Conf. on Logic Programming and Automated Reasoning (LPAR-1992). St. Petersburg, Russia (15.07.1992-20.07.1992)
doi: 10.1007/BFb0013076
Konferenzveröffentlichung, Bibliographie