Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783031453281
- ISBN-10303145328X
- Better World Books9783031453281
- Open LibraryOL49504847M
Classifications
- LCCQA76.758
Subjects
Other Editions
- Automated Technology for Verification and Analysis
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!