👤

Wolfgang Ahrendt

3 books

Books by Wolfgang Ahrendt

Logic of Software. a Tasting Menu of Formal Methods
Logic of Software. a Tasting Menu of Formal Methods
2022
Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
2020
Deductive Software Verificatio
Deductive Software Verification - the KeY Book
2016