Hardware and Software : Verification and Testing
Subtitle: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 293
ISBN-13: 9783319262871
Subjects: Computer software, verification; Computer input-output equipment