Product Description
ISBN: 9783319703886
TITLE: Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings : 10629
AUTHOR: Ofer Strichman
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 12 Nov 2017

