Hardware and Software : Verification and Testing
Subtitle: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ...
Publisher: Springer
Published: Nov 01, 2016
Format: paperback
Number of pages: 227
ISBN-13: 9783319490519
Notes: Source title: Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... (Lecture Notes in Computer Science (10028))