TY  - BOOK
AU  - Milne,George J (Ed)
AU  - Pierre,Laurence (Ed)
TI  - Correct hardware design and verification methods
PY  - 1993///
CY  - London: 
PB  - Springer-Verlag, 
KW  - Computer
KW  - Hardware
ER  -