Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings by Ofer Strichman, Rachel Tzoref-Brill
English | 2017 | ISBN: 3319703889 | 253 Pages | PDF | 17.8 MB
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.