"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-540-70889-6","Hardware and Software, Verification and Testing","Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers","Eyal Bin; Avi Ziv; Shmuel Ur",2007,"1","https://doi.org/10.1007/978-3-540-70889-6",100,""