Hardware and Software
Subtitle: Verification and Testing. 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Publisher: Springer
Published: May 27, 2011
Format: paperback
ISBN-13: 9783642192388
Notes: Source title: Hardware and Software: Verification and Testing. 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers