Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
We couldn't estimate the reading time for this book.
Author
Publication
2022 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030945824
- ISBN-103030945820
- Better World Books9783030945824
- Open LibraryOL36758685M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!