TY  - BOOK
AU  - Milne G J Ed.
ED  - IFIP WG 10.2 Advanced Research Working Conference(1993 : Arles)
ED  - 
TI  - Correct hardware design and verification methods: proceedings
U1  - 621.381952 
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electrical engineering
KW  - Hardware design
ER  -