Languages
CAV (Conference) (2025 :)
Overview
| Works: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)