Bernhard Beckert

Formal Verification of Object-Oriented Software

2012

Formal Methods for Components and Objects

2013

Deductive Software Verification - the KeY Book

2017

Verification of object-oriented software

2007

Verification of Object-Oriented Software. the KeY Approach

2007

Tests and Proofs

2008

Logic of Software. a Tasting Menu of Formal Methods

2022

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

2012

Deductive Software Verification : Future Perspectives

2020

Automated Reasoning with Analytic Tableaux and Related Methods

2007