TY  - BOOK
AU  - Milne, George J.
AU  - Pierre, Laurence
ED  - IFIP WG 10.2 Advanced Research Working Conference CHARME'93 (1993 : Arles, France)
TI  - Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings: George J. Milne and Laurence Pierre (Eds.)
SN  - 3 540 56778 X
AV  - TK7885.7 I36 1993 
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer hardware description languages
KW  - Congresses
ER  -