Hardware and Software : Verification and Testing
Subtitle: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642017025