Hardware and Software : Verification and Testing
Subtitle: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ...
Publisher: Springer
Published: Oct 09, 2012
Format: paperback
Number of pages: 275
ISBN-13: 9783642341878
Notes: Source title: Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... (Lecture Notes in Computer Science (7261))