Hardware and Software: Verification and Testing
Subtitle: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
By: edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Contributors: Harris, Ian; Kroening, Daniel; Raz, Orna; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6504
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642195822; 9783642195839
Subjects: Logic design; Computer science; Software engineering