Hardware and Software : Verification and Testing
Subtitle: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Publisher: Springer
Published: Oct 27, 2015
Format: paperback
Number of pages: 309
ISBN-13: 9783319262864
Notes: Source title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science (9434))