TY  - BOOK
AU  - Bin, Eyal
AU  - Ziv, Avi
AU  - Ur, Shmuel
TI  - Hardware and software, Verification and testing [electronic resource]
SN  - 9783540708890
U1  - 004.24 
PY  - 2007///
CY  - Berlin
PB  - Heidelberg
N1  - http://dx.doi.org/10.1007/978-3-540-70889-6
ER  -