Theorem Provers in Circuit Design:
Theory, Practice, and Experience Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 Proceedings

by Thomas Kropf, Ramayya Kumar