
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Synopsis
About this book
- Language:English
- ISBN:9783030643546
- Release date:Dec 9, 2020
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB3
- File size:21.65 MB
- Download options:EPUB3 (Adobe DRM)
In this series
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Einar Broch Johnsen






