Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings - Margaria, T; Melham, T (Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings, 2001)