Lindsay Groves
发表
Bernhard K. Aichernig,
John Derrick,
Eerke Albert Boiten,
2009
.
Lindsay Groves,
Petra Malik,
Clare Lenihan,
2010,
ASM.
Lindsay Groves,
2000,
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
Lindsay Groves,
R. Nickson,
Mark Utting,
1992,
Refine.
Lindsay Groves,
1996
.
Lindsay Groves,
Yuan-Fang Li,
Scott Uk-Jin Lee,
2008
.
James Noble,
Robert Biddle,
Lindsay Groves,
1995,
Aust. Comput. J..
Lindsay Groves,
Michael Poppleton,
2003
.
Lindsay Groves,
1996
.
Robert Colvin,
Lindsay Groves,
2007,
Electron. Notes Theor. Comput. Sci..
Lindsay Groves,
David Friggens,
2015,
ArXiv.
Mark Moir,
Victor Luchangco,
Lindsay Groves,
2009,
Formal Aspects of Computing.
Zbigniew Michalewicz,
Lindsay Groves,
1988,
IPMU.
Lindsay Groves,
1996
.
Bryan Ng,
Winston Khoon Guan Seah,
Liang Yang,
2017,
2017 IEEE 42nd Conference on Local Computer Networks (LCN).
Lindsay Groves,
1974
.
Robert Colvin,
Lindsay Groves,
2008,
Formal Aspects of Computing.
Lindsay Groves,
Raymond G. Nickson,
L. Groves,
1994,
Refine.
Lindsay Groves,
1994,
Refine.
Lindsay Groves,
Steve Reeves,
Ray Nickson,
1999
.
Gillian Dobbie,
Lindsay Groves,
Jing Sun,
2009,
J. Univers. Comput. Sci..
John Derrick,
Brijesh Dongol,
Lindsay Groves,
2015,
ECOOP.
Lindsay Groves,
2009,
J. Univers. Comput. Sci..
Lindsay Groves,
Jonathan Aldrich,
Alex Potanin,
2018,
ICFEM.
Robert Colvin,
Lindsay Groves,
Simon Doherty,
2005,
Electron. Notes Theor. Comput. Sci..
Lindsay Groves,
R. Nickson,
1992
.
Lindsay Groves,
Steve Reeves,
Mark Utting,
2000,
Proceedings 2000 Australian Software Engineering Conference.
Lindsay Groves,
Peter Andreae,
Keith Cassell,
2011,
SEKE.
Lindsay Groves,
Simon Doherty,
2010,
CATS.
Lindsay Groves,
David J. Pearce,
L. Groves,
2013,
FTSCS.
James Noble,
Lindsay Groves,
Peter Andreae,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Lindsay Groves,
Marco Servetto,
2013,
FTfJP@ECOOP.
Lindsay Groves,
L. Groves,
2008,
CATS.
Lindsay Groves,
1995,
Proceedings 1995 Asia Pacific Software Engineering Conference.
Robert Amor,
Lindsay Groves,
2003
.
Lindsay Groves,
David Friggens,
2014,
ACSC.
Zbigniew Michalewicz,
Cezary Z. Janikow,
Lindsay Groves,
1991
.
Lindsay Groves,
Graeme Smith,
2019,
FM Workshops.
Lindsay Groves,
1990,
SGCH.
Lindsay Groves,
David J. Pearce,
L. Groves,
2015,
Sci. Comput. Program..
Lindsay Groves,
Alex Potanin,
Daniel Atkins,
2013
.
Lin Wang,
Gillian Dobbie,
Lindsay Groves,
2006,
Australian Software Engineering Conference (ASWEC'06).
Lindsay Groves,
1996
.
Lindsay Groves,
Marco Servetto,
Alex Potanin,
2013
.
John Derrick,
Brijesh Dongol,
Lindsay Groves,
2014,
Haifa Verification Conference.
Lindsay Groves,
Mark Utting,
David J. Pearce,
2018,
SETSS.
Mark Moir,
Nir Shavit,
Victor Luchangco,
2004,
SPAA '04.
Lindsay Groves,
1997
.
Robert Colvin,
Lindsay Groves,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Lindsay Groves,
L. Groves,
2002,
Refine.
Bernhard K. Aichernig,
Lindsay Groves,
John Derrick,
2007,
Electron. Notes Theor. Comput. Sci..
Victor Luchangco,
Lindsay Groves,
Mark Moir,
2009
.
Gillian Dobbie,
Lindsay Groves,
Yuan-Fang Li,
2008,
19th Australian Conference on Software Engineering (aswec 2008).
Lindsay Groves,
David J. Pearce,
2013,
SLE.
James Noble,
Lindsay Groves,
J. Noble,
1992,
International Conference on Software Technology: Methods and Tools.
Paul A. Strooper,
Robert Colvin,
Lindsay Groves,
2004,
Program Development in Computational Logic.
Brijesh Dongol,
Lindsay Groves,
2015,
Refine@FM.
Bryan Ng,
Winston Khoon Guan Seah,
Liang Yang,
2017,
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
Gillian Dobbie,
Lindsay Groves,
Jing Sun,
2006,
SEKE.
Lindsay Groves,
1982,
SIGP.
Robert Amor,
Lindsay Groves,
Mike R. Donn,
2003
.
Lindsay Groves,
Jing Sun,
2014,
Lecture Notes in Computer Science.
Lindsay Groves,
Jonathan Aldrich,
Alex Potanin,
2020,
Proc. ACM Program. Lang..
Mark Moir,
Victor Luchangco,
Lindsay Groves,
2004,
FORTE.
John Derrick,
Brijesh Dongol,
Lindsay Groves,
2012
.
Lindsay Groves,
2005,
ZB.
Lindsay Groves,
Mark Utting,
David J. Pearce,
2017,
IFM.
Robert Colvin,
Lindsay Groves,
2005,
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
Lindsay Groves,
Jing Sun,
2013
.
Bernhard K. Aichernig,
John Derrick,
Eerke Albert Boiten,
2007
.
Bryan Ng,
Lindsay Groves,
Deepak Singh,
2021,
J. Netw. Comput. Appl..
Lindsay Groves,
Jing Sun,
2013,
Lecture Notes in Computer Science.
Muhammad Ali Babar,
Lindsay Groves,
Neville Churcher,
2005,
ENC.
Mark Moir,
Victor Luchangco,
Robert Colvin,
2006,
CAV.
Lindsay Groves,
Michael Poppleton,
2006
.
Lindsay Groves,
1997
.
Lindsay Groves,
Peter Andreae,
Glenn Colman,
1992
.
Lindsay Groves,
1996
.
Gillian Dobbie,
Lindsay Groves,
Jing Sun,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Lindsay Groves,
Jonathan Aldrich,
Alex Potanin,
2020,
APLAS.
Nicholas Robert Cameron,
Lindsay Groves,
Alex Potanin,
2012,
FTfJP@ECOOP.
Lindsay Groves,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Gillian Dobbie,
Lindsay Groves,
Jing Sun,
2010,
Formal Methods Syst. Des..
Lindsay Groves,
2008,
Electron. Notes Theor. Comput. Sci..
Lindsay Groves,
Craig Anslow,
Peter Andreae,
2011,
ACSC.
Brijesh Dongol,
Lindsay Groves,
2016,
ICFEM.
John Derrick,
Brijesh Dongol,
Lindsay Groves,
2017,
Provably Correct Systems.