Computer Aided Verification
- Alaotsikko
- 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
- Toimittaja
- Ruzica Piskac, Zvonimir Rakamarić
- ISBN
- 9783031986673
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 23.7.2025
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 416








































