Simon Bainbridge

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

Simon Bainbridge, Albert John Camilleri, Roger Fleming
Theorem Proving as an Industrial Tool for System Level Desgin. TPCD (1992)
Simon Bainbridge, Albert John Camilleri, Roger Fleming
Industrial Application of Theorem Proving to System Level Design. TPHOLs (1991)