Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada

Hon F. Li David K. Probst Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada CHARME IFIP Conference Proceedings 105 Chapman & Hall 1997 0-412-81330-0 db/conf/charme/charme1997.html