Software Verification
Springer Nature Switzerland AG, 2022
73,25 €On orderDelivery: 2-3 weeks
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
- ISBN-13
- 9783030955601
- ISBN-10
- 3030955605
- Publisher
- Springer Nature Switzerland AG
- Year
- 2022
- Publication date
- 2022-02-22
- Pages
- 197
- Dimensions
- 235x155x