Correct hardware design and verification methods IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / - Milne, George J.,; Pierre, Laurence. (Lecture notes in computer science ;)