
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Synopsis
About this book
- Language:English
- ISBN:9783031986680
- Release date:Apr 28, 2026
- Publisher:Springer Nature Switzerland
- Imprint:Springer
- File format:EPUB3
- File size:37.74 MB
- Download options:EPUB3 (Adobe DRM)



