Hardware Verification by Formal Proof
G. Birtwistle‚ B. Graham‚ T. Melham and R. Schediwy
Book Title
Proceedings of the Canadian Conference on Electrical and Computer Engineering‚ Vancouver‚ November 1988
Editor
V. K. Bhargava
Pages
379–384
Publisher
Canadian Society for Electrical Engineering
Year
1988