Tests and Proofs More Books by Wolfgang Ahrendt & Heike Wehrheim

The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
2022
Deductive Software Verification: Future Perspectives Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
2020
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019