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 (Springer, 2003)
Includes bibliographical references and index