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
- 23.7.2025
- Sidor
- 416








































