Steve Reeves
发表
Richard Bornat,
Tim O'Shea,
Pat Fung,
1994
.
Richard Bornat,
Tim O'Shea,
Pat Fung,
1996,
Comput. Educ..
Judy Bowen,
Steve Reeves,
2007
.
David Streader,
Steve Reeves,
2008,
Electron. Notes Theor. Comput. Sci..
Richard Bornat,
Tim O'Shea,
Pat Fung,
1993
.
John Derrick,
Eerke A. Boiten,
Steve Reeves,
2009,
Electron. Notes Theor. Comput. Sci..
Steve Reeves,
2015,
Innovations in Systems and Software Engineering.
Martin C. Henson,
Steve Reeves,
Moshe Deutsch,
2003,
Log. J. IGPL.
Richard Bornat,
Tim O'Shea,
Pat Fung,
1992,
PPIG.
Steve Reeves,
Greg Reeve,
Grant Anderson,
2001
.
Krysia Broda,
Rajeev Goré,
Marcello D'Agostino,
1995,
Log. J. IGPL.
Michael J. Butler,
Jonathan P. Bowen,
Michael G. Hinchey,
2013,
Formal Aspects Comput..