Experience with Embedding Hardware Description Languages in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel. Experience with Embedding Hardware Description Languages in HOL. In Victoria Stavridou, Thomas F. Melham, Raymond T. Boute, editors, Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings. Volume A-10 of IFIP Transactions, pages 129-156, North-Holland, 1992.

This author has not been identified. Look up 'Richard J. Boulton' in GoogleIdentified as Andrew D. Gordon This author has not been identified. Look up 'Michael J. C. Gordon' in GoogleThis author has not been identified. Look up 'John Harrison' in GoogleThis author has not been identified. Look up 'John Herbert' in GoogleThis author has not been identified. Look up 'John Van Tassel' in Google

runs on WebDSL