
Deductive Software Verification: Future Perspectives
Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
- Undertittel
- Reflections on the Occasion of 20 Years of KeY
- Opplag
- 1st ed. 2020
- ISBN
- 9783030643539
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.12.2020
- Antall sider
- 339
