👤

Richard Bubel

3 books

Books by Richard Bubel

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