Hardware and Software : Verification and Testing
Subtitle: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783319030777