Computer Aided Verification
- Undertitel
- 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
- Redaktör
- Ruzica Piskac, Zvonimir Rakamarić
- ISBN
- 9783031986673
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 2025-07-23
- Sidor
- 416









































