Correct hardware design and verification methods IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings (Springer, 1993)