Theorem Provers in Circuit Design: Theory, Practice and ...
Ramayya Kumar
This two-volume set contains papers presented at the International Conference on Computational Engineering Science (ICES '95) held in Mauna Lani, Hawaii from 30 July to 3 August, 1995.