Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992
Practice IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory
Bok Engelsk 1992