Greg Royle

	1996
3		Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor: Formal Methods Pilot Project. APSEC 1996: 238-245
2		Lin Zucconi, Greg Royle, Karl Reed, John Staples: Do Formal Methods Really Work? ASYNC 1996: 66-
1		Lin Zucconi, Greg Royle, Karl Reed, John Staples: Do Formal Methods Really Work? Australian Software Engineering Conference 1996: 66-

Coauthor Index

1	Tracey Hart	[3]
2	Peter Kearney	[3]
3	Peter A. Lindsay	[3]
4	Fiona Linn	[3]
5	Roberto Morello	[3]
6	Karl Reed	[1] [2]
7	Kelvin J. Ross	[3]
8	John Staples	[1] [2]
9	Owen Traynor	[3]
10	Lin Zucconi	[1] [2]