TY  - BOOK
ED  - Hunt, Warren A.
PY  - 2000
DA  - 2000//
TI  - Formal methods in computer-aided design: third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings
T3  - Lecture notes in computer science 1954
PB  - Springer
CY  - Berlin
KW  - Computer engineering
KW  - Congresses
KW  - Computer-aided design
KW  - Integrated circuits
KW  - Verification
SN  - 3540412190
LA  - English
N1  - FMCAD 2000. Warren A. Hunt ... (ed.)
ID  - 320337901
ER  -