Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen · First published 2022Open the Tome
Deductive Software Verification - the KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich · First published 2016 · Latest edition 2020Open the Tome
Formal Verification of Object-Oriented SoftwareBernhard Beckert · First published 2011 · Latest edition 2012Open the Tome
Formal Verification Of Objectoriented Software International Conference Revised Selected PapersBernhard Beckert · First published 2012Open the Tome
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert, Reiner Hähnle, Peter H. Schmitt · First published 2007Open the Tome
Automated Reasoning with Analytic Tableaux and Related MethodsBernhard Beckert · First published 2005Open the Tome
