TY  - BOOK
AU  - Stavridou,V.
TI  - Formal methods in circuit design
SN  - 0521443369
AV  - TK7888.4 .S73
PY  - 1993///
CY  - New York
PB  - Cambridge
KW  - Electronic digital computers
KW  - Circuits
KW  - Engineering design
KW  - computer programs
ER  -