Raymond T. Boute

The binary decision machine as programmable controller

Raymond T. Boute, R. Boute, 1976 .

Declarative languages – still a long way to go

Raymond T. Boute, 1991 .

Session C3: Formal methods II

Raymond T. Boute, 1989 .

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

Tom Melham, Raymond T. Boute, Ifip Tc, 1992 .

Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience

Tom Melham, Raymond T. Boute, Victoria Stavridou, 1992 .

Theorem Provers in Circuit Design

Tom Melham, Raymond T. Boute, Stavridou, 1992 .