Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - Geist, Daniel; Geist, Daniel; Tronci, Enrico; Tronci, Enrico (Springer Berlin Heidelberg : Imprint: Springer, 2003)