Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783030643546
- Fecha de lanzamiento:9 dic 2020
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:21.65 MB
- Opciones de descarga:EPUB3 (Adobe DRM)
En esta serie
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Einar Broch Johnsen
