We stand with Ukraine  

Greg Royle

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1996
Do Formal Methods Really Work?
[BibTeX]
[DOI]
Lin Zucconi
,
Greg Royle
,
Karl Reed
,
John Staples
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

Formal Methods Pilot Project.
[BibTeX]
[DOI]
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


  Loading...