IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods. (9th 1997 Montréal, Canada).

Books by IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods. (9th 1997 Montréal, Canada). on BookTides.