Hardware and Software, Verification and Testing
Subtitle: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540326052
Subjects: Hardware; Integrated circuits