Stavridou, V. books & textbook
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10)
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 : Nijmegen, Netherlands) Melham, T. F. Stavridou, V. Boute, R. T.
North-Holland /1992-01-01 Paperback / 360 Pages
isbn-10: 0444896864 / isbn-13: 9780444896865