Proceedings of the IFIP Conference on Theorem Provers in Circuit Design, June 1992 (1992) |
- Brock, Bishop C., Hunt, Warren A., Jr., and Young, (1992) Brock, Bishop C., Hunt, Warren A., Jr., and Young, William D., "Introduction to a formally defined hardware description language"
|
|