Steve Reeves
发表
Judy Bowen,
Jessica Turner,
Steve Reeves,
2018,
EICS.
Steve Reeves,
Colin Pilbrow,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Keith D. Cooper,
Alexander Grosul,
Timothy J. Harvey,
2004
.
Annika Hinze,
Sally Jo Cunningham,
Judy Bowen,
2014
.
Martin C. Henson,
Steve Reeves,
1999,
Formal Aspects of Computing.
Judy Bowen,
Steve Reeves,
S. Reeves,
2007,
FMIS@ICFEM.
John Grundy,
Steve Reeves,
1995
.
Steve Reeves,
David Streader,
S. Reeves,
2008,
Refine@FM.
Steve Reeves,
Terry R. Turner,
Clayton Fullwood,
1994,
Advanced Lithography.
Judy Bowen,
Steve Reeves,
S. Reeves,
2008,
Formal Aspects of Computing.
Steve Reeves,
Colin Pilbrow,
2015,
ASWEC.
Martin C. Henson,
Steve Reeves,
1999,
Formal Aspects of Computing.
Steve Reeves,
David Streader,
2003
.
Marc Frappier,
Régine Laleau,
Sarfraz Khurshid,
2010,
ABZ 2010.
Liming Zhu,
Leonard J. Bass,
Paul Rimba,
2015,
2015 11th European Dependable Computing Conference (EDCC).
John Derrick,
Steve Reeves,
Eerke Boiten,
2013
.
Steve Reeves,
Paolo Masci,
Nathaniel Watson,
2018,
F-IDE@FLoC.
Martin C. Henson,
Steve Reeves,
1998,
ZUM.
Steve Reeves,
David Streader,
S. Reeves,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Steve Reeves,
David Streader,
2005
.
Judy Bowen,
Steve Reeves,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Martin C. Henson,
Steve Reeves,
1998
.
Richard Bornat,
Steve Reeves,
Pat Fung,
1992,
PPIG.
Steve Reeves,
1998,
Proceedings. 1998 International Conference Software Engineering: Education and Practice (Cat. No.98EX220).
Judy Bowen,
Steve Reeves,
2008,
Innovations in Systems and Software Engineering.
Steve Reeves,
2007
.
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2002,
Ninth Asia-Pacific Software Engineering Conference, 2002..
John Derrick,
Steve Reeves,
Eerke Boiten,
2016
.
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2003
.
Judy Bowen,
Steve Reeves,
S. Reeves,
2015,
2015 24th Australasian Software Engineering Conference.
Steve Reeves,
Colin Blackett,
1996
.
Judy Bowen,
Jessica Turner,
Steve Reeves,
2018,
STAF Workshops.
Steve Reeves,
David Streader,
S. Reeves,
2009,
FM.
Steve Reeves,
1989
.
Lindsay Groves,
Steve Reeves,
Ray Nickson,
1999
.
John Derrick,
Eerke Albert Boiten,
Steve Reeves,
2011
.
Steve Reeves,
David Streader,
S. Reeves,
2011,
Refine@FM.
Martin C. Henson,
Steve Reeves,
2000,
ZB.
John Derrick,
Eerke Albert Boiten,
Steve Reeves,
2013
.
Steve Reeves,
David Streader,
S. Reeves,
2009,
REFINE@FMWeek.
Judy Bowen,
Steve Reeves,
S. Reeves,
2013,
EICS '13.
Judy Bowen,
Steve Reeves,
2008,
Electron. Notes Theor. Comput. Sci..
Steve Reeves,
David Streader,
2006
.
Steve Reeves,
Doug Goldson,
Greg Reeve,
2002
.
Steve Reeves,
1994
.
Steve Reeves,
David Streader,
S. Reeves,
2008,
Refine@FM.
Robi Malik,
Petra Malik,
Steve Reeves,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Lindsay Groves,
Steve Reeves,
Mark Utting,
2000,
Proceedings 2000 Australian Software Engineering Conference.
Steve Reeves,
David Streader,
2004
.
Steve Reeves,
Doug Goldson,
Greg Reeve,
2002,
ICFEM.
Steve Reeves,
Greg Reeve,
2000
.
Steve Reeves,
David Streader,
S. Reeves,
2003,
ICFEM.
Jonathan P. Bowen,
Martin C. Henson,
Steve Reeves,
2003,
Comput. Artif. Intell..
Steve Reeves,
David Streader,
2008,
Formal Aspects of Computing.
Judy Bowen,
Steve Reeves,
2013,
Innovations in Systems and Software Engineering.
John Derrick,
Steve Reeves,
Eerke Boiten,
2011
.
Judy Bowen,
Steve Reeves,
Andrea Schweer,
2013,
AUIC.
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2008
.
John Derrick,
Eerke Albert Boiten,
Steve Reeves,
2008
.
Steve Reeves,
Greg Reeve,
Grant Anderson,
2001,
Proceedings 2001 Australian Software Engineering Conference.
Felipe Bravo-Marquez,
Steve Reeves,
Martín Ugarte,
2019,
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON).
Steve Reeves,
Greg Reeve,
2000,
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
Judy Bowen,
Steve Reeves,
S. Reeves,
2007,
BCS HCI.
Richard Bornat,
Steve Reeves,
Doug Goldson,
1993,
Comput. J..
Judy Bowen,
Steve Reeves,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Steve Reeves,
Robert Johnson,
1992,
TABLEAUX.
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2001
.
Judy Bowen,
Steve Reeves,
2006,
Australian Software Engineering Conference (ASWEC'06).
John Derrick,
Eerke Albert Boiten,
Steve Reeves,
2016
.
Elvinia Riccobene,
Steve Reeves,
2014,
Sci. Comput. Program..
Judy Bowen,
Steve Reeves,
2009,
2009 Australian Software Engineering Conference.
Steve Reeves,
David Streader,
S. Reeves,
2011,
Sci. Comput. Program..
Judy Bowen,
Steve Reeves,
2012,
EICS '12.
Steve Reeves,
2008
.
Steve Reeves,
Greg Reeve,
2006,
ACSC.
Steve Reeves,
David Streader,
S. Reeves,
2006
.
Marc Frappier,
Régine Laleau,
Sarfraz Khurshid,
2013,
Sci. Comput. Program..
Martin C. Henson,
Steve Reeves,
2001
.
Steve Reeves,
S. Reeves,
1987
.
Steve Reeves,
Greg Reeve,
2000,
IFM.
Steve Reeves,
Mark Utting,
M. Utting,
2001,
Softw. Test. Verification Reliab..
Steve Reeves,
David Streader,
S. Reeves,
2006
.
Steve Reeves,
Phil Shire,
Bryan Barthelme,
2005
.
Judy Bowen,
Steve Reeves,
2011,
EICS '11.
Martin C. Henson,
Steve Reeves,
2000,
J. Log. Comput..
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2003,
ZB.
Steve Reeves,
1994
.
John Derrick,
Eerke Albert Boiten,
Steve Reeves,
2013
.
Moshe Deutsch,
Martin C. Henson,
Steve Reeves,
2002
.
Judy Bowen,
Steve Reeves,
2017,
Handbook of Formal Methods in Human-Computer Interaction.
Robi Malik,
Steve Reeves,
David Streader,
2004,
ATVA.
Judy Bowen,
Steve Reeves,
2017,
PACMHCI.
Judy Bowen,
Steve Reeves,
2013,
EICS '13.
Steve Reeves,
David Streader,
S. Reeves,
2005,
J. Univers. Comput. Sci..
Judy Bowen,
Steve Reeves,
S. Reeves,
2010,
EICS '10.
Steve Reeves,
Greg Reeve,
2004
.
Judy Bowen,
Steve Reeves,
2014,
FM.
Steve Reeves,
David Streader,
2006,
Electron. Notes Theor. Comput. Sci..
Michael Clarke,
Steve Reeves,
1990,
International computer science series.
Judy Bowen,
Steve Reeves,
2018,
2018 25th Australasian Software Engineering Conference (ASWEC).
Judy Bowen,
Jessica Turner,
Steve Reeves,
2017,
EICS.
Judy Bowen,
Steve Reeves,
S. Reeves,
2005,
ZB.
John Derrick,
Brijesh Dongol,
Steve Reeves,
2018,
Refine@FM.
Steve Reeves,
David Streader,
S. Reeves,
2004,
ICTAC.
Judy Bowen,
Steve Reeves,
2013,
EICS.
Jin Song Dong,
John Derrick,
Eerke Albert Boiten,
2012
.
Mark Apperley,
John Grundy,
Steve Reeves,
1996
.
Steve Reeves,
1995
.
John Derrick,
Brijesh Dongol,
Steve Reeves,
2018
.
Steve Reeves,
S. Reeves,
1996,
Proceedings 1996 International Conference Software Engineering: Education and Practice.
Steve Reeves,
S. Reeves,
1994
.
Jonathan P. Bowen,
Steve Reeves,
2011,
FM.
Judy Bowen,
Steve Reeves,
2013,
EICS '13.
Eerke Albert Boiten,
John Derrick,
Steve Reeves,
2012,
arXiv.org.
Steve Reeves,
Greg Reeve,
2001
.
Martin C. Henson,
Steve Reeves,
1998
.
Martin C. Henson,
Steve Reeves,
2003,
Formal Aspects of Computing.
Marc Frappier,
Sarfraz Khurshid,
Uwe Glässer,
2010,
ABZ.
Judy Bowen,
Steve Reeves,
Sapna Jaidka,
2017,
EICS.
Steve Reeves,
Doug Goldson,
Mike Hopkins,
1994
.
Robi Malik,
Steve Reeves,
David Streader,
2006,
Int. J. Found. Comput. Sci..
Steve Reeves,
Colin Pilbrow,
2017,
2017 24th Asia-Pacific Software Engineering Conference Workshops (APSECW).
Judy Bowen,
Steve Reeves,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Steve Reeves,
1996,
DSV-IS.
John Derrick,
Brijesh Dongol,
Steve Reeves,
2018
.
Steve Reeves,
Vilhelm Sjöberg,
Daniel Britten,
2021,
FMBC@CAV.
Martin C. Henson,
Steve Reeves,
Moshe Deutsch,
2007
.
Steve Reeves,
1995
.
Steve Reeves,
2000
.