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
Author(s)
Bibliographic Information
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
（IFIP transactions, A . Computer science and technology ; 10）
North-Holland, 1992
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
