Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings

Paolo Camurati Hans Eveking Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings CHARME Lecture Notes in Computer Science 987 Springer 1995 3-540-60385-9 db/conf/charme/charme1995.html