Hardware and Software : Verification and Testing
Subtitle: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ...
Publisher: Springer
Published: Nov 12, 2017
Format: paperback
Number of pages: 275
ISBN-13: 9783319703886
Notes: Source title: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... (Lecture Notes in Computer Science (10629))