Language: English
Help
圖資館首頁
Login
Languages
Covers
Jump To : Overview | Titles | Subjects

Rakamarić, Zvonimir.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part IV / by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service) (Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part III / by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service) (Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part I / by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service) (Electronic resources)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part II / by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login