
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783030643546
- Udgivelsesdato:9. dec. 2020
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:21.65 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)
I denne serie
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Einar Broch Johnsen






