V. Stavridou | T. F. Melham | R.T. Boute
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
