Deductive Software Verification : Future Perspectives
Reflections on the Occasion of 20 Years of KeY
We couldn't estimate the reading time for this book.
Publication
2020 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030643539
- ISBN-103030643530
- Better World Books9783030643539
- Open LibraryOL37318557M
Classifications
- LCCQA76.758
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!