Greg Royle

According to our database, Greg Royle authored at least 2 papers in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Do Formal Methods Really Work?

Lin Zucconi, Greg Royle, Karl Reed, John Staples

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Formal Methods Pilot Project.

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996