TY  - BOOK
AU  - Dasgupta,Pallab
TI  - A roadmap for formal property verification
SN  - 1402047576 (empastado, cubierta dura)
AV  - TK7874.58 D37
U1  - 621.3815 22
PY  - 2006///
CY  - Dordrecht
PB  - Springer Verlag
KW  - Circuitos integrados
KW  - Verificación
ER  -