ISBN-13: 9783319490519, 978-3319490519. Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. This book constitutes the refereed proceedings of the 12th InternationalHaifa Verification Conference, HVC 2016, held in Haifa, Israel inNovember 2016.
eBay