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
Integrated Formal MethodsWolfgang Ahrendt, Silvia Lizeth Tapia Tarifa · First published 2019Open the Tome
