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

Tiziana Margaria Thomas F. Melham 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 CHARME Lecture Notes in Computer Science 2144 Springer 2001 3-540-42541-1 db/conf/charme/charme2001.html