TY  - BOOK
AU  - PALNITKAR, SAMIR
TI  - DESIGN VERIFICATION WITH E
SN  - 9788129705372
U1  - 005.133 
PY  - 2005///
ER  -