Verification, Model Checking, and Abstract Interpretation
Springer Nature Switzerland AG, 2020
98,50 €On orderDelivery: 2-3 weeks
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
- ISBN-13
- 9783030393212
- ISBN-10
- 3030393216
- Publisher
- Springer Nature Switzerland AG
- Year
- 2020
- Publication date
- 2020-02-07
- Pages
- 471
- Dimensions
- 155x234x29
- Weight
- 744