Hardware and Software: Verification and Testing: 8th Inteational Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised .. / Programming and Software Engineering)
Hardcover: 292 pages
Publisher: Springer (July 19, 2013)
Language: English
ISBN-10: 3642396100