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