Roger Fleming (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Simon Bainbridge, Albert John Camilleri, Roger Fleming: Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274

1 Simon Bainbridge, Albert John Camilleri, Roger Fleming: Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142

Selection of 2 from 2 records - Roger Fleming has 2 coauthors

2		Simon Bainbridge, Albert John Camilleri, Roger Fleming: Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274
1		Simon Bainbridge, Albert John Camilleri, Roger Fleming: Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142