
Deductive Software Verification: Future Perspectives
Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
- Undertitel
- Reflections on the Occasion of 20 Years of KeY
- Upplaga
- 1st ed. 2020
- ISBN
- 9783030643539
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 9.12.2020
- Sidor
- 339