Logic and Formal Methods

The KeY System 1.0 (Deduction Component)