"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-70545-1","Computer Aided Verification","20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings","Aarti Gupta; Sharad Malik",2008,"1","https://doi.org/10.1007/978-3-540-70545-1",180,""