International Conference on Theorem Provers in Circuit Design,
Theorem provers in circuit design : proceedings / International Conference... ; ed. V. Stavridou, T. F. Melham, R. T. Boute
Theorem provers in circuit design : proceedings / International Conference... ; ed. V. Stavridou, T. F. Melham, R. T. Boute
. - Amsterdam : North-Holland, 1992
. - XI, 360 p. 23 cm
. - (IFIP transactions A., Computer science and technology; 10)
0-444-89686-4 (Brochado)
681.3.02:510.6
510.6:681.3.02