"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-98668-0","Computer Aided Verification","37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I","Ruzica Piskac; Zvonimir Rakamarić",2025,"1","https://doi.org/10.1007/978-3-031-98668-0",,"Note: Open Access"