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