Languages
CAV (Conference) (2025 :)
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part I /
by:
CAV (Conference) (2025 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part III /
by:
CAV (Conference) (2025 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part II /
by:
CAV (Conference) (2025 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.. Part IV /
by:
CAV (Conference) (2025 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(Electronic resources)