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
Book Title
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
Editor
V. Stavridou and T. F. Melham and R. T. Boute
ISBN
0−444−89686−4
ISSN
0926−5473
Publisher
North−Holland
Series
IFIP Transactions A
Volume
10
Year
1992