TY  - BOOK
AU  - Hu,Alan J.
AU  - Martin,Andrew K.
TI  - LECTURE NOTES IN COMPUTER SCIENCE(V.3312): FORMAL METHODS IN COMPUTER-AIDED DESIGN
SN  - 3540237380
U1  - 001.64 
PY  - 2004///
CY  - 
PB  - Springer-Verlag, Berlin
KW  - Computer-Aided Design
KW  - Computer Science
UR  - http://link.springer.com/bookseries/558
ER  -