Hardware and Software : Verification and Testing
Subtitle: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 302
ISBN-13: 9783319133386