Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, Dominique Borrione, Wolfgang J. Paul, 2005: Saarbrücken, Germany