Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings - Margaria, Tiziana; Margaria, Tiziana; Melham, Tom; Melham, Tom (Springer Berlin Heidelberg : Imprint: Springer, 2001)