Deductive Software Verification - the KeY Book
From Theory to Practice
We couldn't estimate the reading time for this book.
Publication
2016 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783319498119
- ISBN-103319498118
- Better World Books9783319498119
- Open LibraryOL37269900M
Classifications
- LCCQA76.758
Subjects
Topics
Other Editions
- Deductive Software Verification - the KeY Book: From Theory to Practice
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!