Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
ed.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Conference or Workshop Item, Bibliographie

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
ed.: Pfenning, Frank (2007)
KeY-C: A Tool for Verification of C Programs.
Conference or Workshop Item, Bibliographie

Pfenning, Frank (1996)
The practice of logical framework.
Book, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
ed.: Pfenning, Frank (1994)
On Anti-Links.
Conference or Workshop Item, Bibliographie