TY  - BOOK
TI  - Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings / 
U1  - 620.004 202 85 
PY  - 2002///
CY  - Berlin
PB  - Springer
KW  - Compter-Aided design
ER  -