ISBN 3319703889 books & textbook
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
Strichman, Ofer Tzoref-Brill, Rachel
Springer /2017-11-12 Paperback / 275 Pages
isbn-10: 3319703889 / isbn-13: 9783319703886
