
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Synopsis
About this book
- Language:English
- ISBN:9783031656309
- Release date:Jul 25, 2024
- Publisher:Springer Nature Switzerland
- Imprint:Springer
- File format:EPUB3
- File size:32.19 MB
- Download options:EPUB3 (Adobe DRM)





