The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hhnle, Vladimir Klebanov, Philipp Rmmer, Steffen Schlager, Peter H. Schmitt

Browse the full CADE paper archive.