International Conference on Correct Hardware and Verification Methods (1997 Montréal, Québec)

• Advances in hardware design and verification