Simon Bainbridge

According to our database, Simon Bainbridge authored at least 2 papers between 1991 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

Theorem Proving as an Industrial Tool for System Level Desgin.

Simon Bainbridge, Albert John Camilleri, Roger Fleming

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Industrial Application of Theorem Proving to System Level Design.

Simon Bainbridge, Albert John Camilleri, Roger Fleming

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991