TY  - BOOK
AU  - Glasser, Mark
TI  - Open verification methodology cookbook
SN  - 9781441909688
U1  - 005.14 GLA 
PY  - 2009///
CY  - New York 
PB  - : Springer, 
KW  - Computer software -- Verification.
KW  - Integrated circuits -- Verification
KW  - Glasser, Mark
KW  - Computer Science
ER  -