M. D. Francis

	1993
2		Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes: Formal Methods and Their Future. EUROCAST 1993: 180-189
	1992
1		Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave: Formal Tools in Tri-State Design in Busses. TPHOLs 1992: 459-475

Coauthor Index

1	Simon Finn	[1] [2]
2	R. Harris	[2]
3	Roger B. Hughes	[1] [2]
4	Gerry Musgrave	[1] [2]