Logic and Formal Methods

Verification of Object-Oriented Software: The KeY Approach