Hardware and Software: Verification and Testing
Subtitle: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
By: edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
Contributors: Zeller, Andreas; Ziv, Avi; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6405
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642192364; 9783642192371
Subjects: Logic design; Computer science; Software engineering