"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-70389-3","Hardware and Software: Verification and Testing","13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings","Ofer Strichman; Rachel Tzoref-Brill",2017,"1","https://doi.org/10.1007/978-3-319-70389-3",100,""