Logic and Formal Methods

Verifying Object-Oriented Programs with KeY: A Tutorial