Leo Freitas
发表
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2007
.
J. Woodcock,
Leo Freitas,
A. Butterfield,
2008
.
Leo Freitas,
2013
.
Jim Woodcock,
Leo Freitas,
M Saaltink,
2009
.
M. Emms,
Leo Freitas,
P. Modesti,
2018
.
Cliff B. Jones,
Leo Freitas,
D. Dias,
2014
.
Budi Arief,
Aad P. A. van Moorsel,
Martin Emms,
2014,
CCS.
Aaron John Buhagiar,
Leo Freitas,
W. Scott,
2021,
Transplantology.
Tim Miller,
Petra Malik,
Mark Utting,
2005,
IFM.
Jim Woodcock,
Zheng Fu,
Leo Freitas,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
Innovations in Systems and Software Engineering.
Leo Freitas,
Leo Freitas,
2005
.
Cliff B. Jones,
Andrius Velykis,
Leo Freitas,
2013,
Theories of Programming and Formal Methods.
Leo Freitas,
D Dias,
Leo Freitas,
2014
.
Jim Woodcock,
Leo Freitas,
J. Woodcock,
2007,
Formal Aspects of Computing.
Paul Watson,
Leo Freitas,
P. Watson,
2012,
2012 IEEE Eighth World Congress on Services.
Andy J. Wellings,
Ana Cavalcanti,
James Baxter,
2016,
IFM.
John P. McDermott,
Leo Freitas,
J. McDermott,
2011,
International Journal on Software Tools for Technology Transfer.
John P. McDermott,
Leo Freitas,
J. McDermott,
2010,
CSIIRW '10.
John P. McDermott,
Leo Freitas,
J. McDermott,
2008,
FMSE '08.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
ICFEM.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2005,
FM.
Simon Foster,
Frank Zeyda,
Leo Freitas,
2016,
UTP.
Iain Whiteside,
Leo Freitas,
I. Whiteside,
2014,
FM.
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2009,
Sci. Comput. Program..
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Patrick Degenaar,
Leo Freitas,
William E. Scott,
2020,
Sci. Comput. Program..