Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
We couldn't estimate the reading time for this book.
Publication
2024 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783031556074
- ISBN-103031556070
- Better World Books9783031556074
- Open LibraryOL51062722M
Classifications
- LCCQA76.76.T48
Subjects
Other Editions
- Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!