A. Galloway
发表
J. McDermid,
S. Burton,
John Clark,
1998
.
A. Galloway,
Andrew Galloway,
2002
.
Hyuk Yu,
A. Galloway,
Zhihao Yang,
1999
.
A. Galloway,
B. Stoddart,
S. Dunne,
1999
.
Richard F. Paige,
Lishan Harbird,
Andy Galloway,
2010,
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
John A. Clark,
John A. McDermid,
Simon Burton,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
John A. McDermid,
Andy Galloway,
Trevor J. Cockram,
1998
.
Andy Galloway,
P. C. Fencott,
Mike A. Lockyer,
1994,
FME.
Bill Stoddart,
Andy Galloway,
A. Galloway,
2001,
Lecture Notes in Computer Science.
Andy Galloway,
Gerald Lüttgen,
Radu Siminiceanu,
2008,
VMCAI.
Steve Dunne,
Ian J. Hayes,
Andy Galloway,
2008,
UTP.
Steve Dunne,
Bill Stoddart,
Andy Galloway,
1998,
FM-Trends 1998.
Steve Dunne,
Bill Stoddart,
Andy Galloway,
1999,
Formal Methods Syst. Des..
I. Toyn,
A. Galloway,
R.F. Paige,
2005,
24th Digital Avionics Systems Conference.