Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783031660634
- Open LibraryOL52565338M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!