
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Synopsis
About this book
- Language:English
- ISBN:9783030255435
- Release date:Feb 23, 2022
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB3
- File size:28.25 MB
- Download options:EPUB3 (Adobe DRM)
