Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / - Milne, George J.; Pierre, Laurence. (Springer-Verlag, 1993)