Tallenna
Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.
Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
- Alaotsikko
- Reflections on the Occasion of 20 Years of KeY
- Painos
- 1st ed. 2020
- ISBN
- 9783030643539
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 9.12.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 339
