Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings - Camurati, Paolo; Eveking, Hans (Lecture notes in computer science, 1995)