Roger Fleming

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

Coauthor Index

1	Simon Bainbridge	[1] [2]
2	Albert John Camilleri	[1] [2]