Verified Software. Theories, Tools and Experiments
14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
We couldn't estimate the reading time for this book.
Author
Publication
2023 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783031258022
- ISBN-103031258029
- Better World Books9783031258022
- Open LibraryOL46068711M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!