"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-13188-2","Computer Aided Verification","34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II","Sharon Shoham; Yakir Vizel",2022,"1","https://doi.org/10.1007/978-3-031-13188-2",,"Note: Open Access"