TY  - BOOK
AU  - Barner,Sharon
ED  - HVC 2010.
TI  - Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 
SN  - 9783642195839
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
UR  - http://dx.doi.org/10.1007/978-3-642-19583-9
ER  -