Hardware and Software : Verification and Testing
Subtitle: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ...
Publisher: Springer
Published: Jul 19, 2013
Format: paperback
Number of pages: 293
ISBN-13: 9783642396106
Notes: Source title: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... (Lecture Notes in Computer Science (7857))