Leo Freitas
发表
Jim Woodcock,
Leo Freitas,
2006,
ICTAC.
Jean-Christophe Filliâtre,
Leo Freitas,
2018
.
Jim Woodcock,
Yichi Zhang,
Leo Freitas,
2009,
Sci. Comput. Program..
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
Innovations in Systems and Software Engineering.
Jim Woodcock,
Zheng Fu,
Leo Freitas,
2007,
ICECCS.
Iain Whiteside,
Leo Freitas,
I. Whiteside,
2014,
FM.
Cliff B. Jones,
Andrius Velykis,
Leo Freitas,
2013,
Theories of Programming and Formal Methods.
Paul Watson,
Leo Freitas,
2012,
2012 IEEE Eighth World Congress on Services.
John P. McDermott,
Leo Freitas,
J. McDermott,
2010,
CSIIRW '10.
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2017,
FACS.
Jim Woodcock,
Konstantinos Mokos,
Leo Freitas,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Budi Arief,
Aad P. A. van Moorsel,
Martin Emms,
2014,
CCS.
John P. McDermott,
Leo Freitas,
J. McDermott,
2008,
FMSE '08.
Gabriel Ciobanu,
Hugh Anderson,
Leo Freitas,
2008,
UTP.
Leo Freitas,
D Dias,
Leo Freitas,
2014
.
Cliff B Jones,
Leo Freitas,
2010
.
Paul Watson,
Leo Freitas,
P. Watson,
2012,
2012 IEEE Eighth World Congress on Services.
Jan Tobias Mühlberg,
Leo Freitas,
2011
.
Jim Woodcock,
Leo Freitas,
2007,
Formal Aspects of Computing.
Leo Freitas,
2018,
SBMF.
Jim Woodcock,
Leo Freitas,
2009,
Int. J. Softw. Informatics.
Jim Woodcock,
Leo Freitas,
M Saaltink,
2009
.
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2009,
Sci. Comput. Program..
Jim Woodcock,
Leo Freitas,
J. Woodcock,
2007,
Formal Aspects of Computing.
Martin Emms,
Moorsel A van,
Leo Freitas,
2014
.
Cliff B. Jones,
Iain Whiteside,
Andrius Velykis,
2014,
VSTTE.
Jim Woodcock,
Leo Freitas,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Simon Foster,
Frank Zeyda,
Leo Freitas,
2016,
UTP.
Jim Woodcock,
Zheng Fu,
Leo Freitas,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
John P. McDermott,
Leo Freitas,
J. McDermott,
2011,
International Journal on Software Tools for Technology Transfer.
Andrius Velykis,
Leo Freitas,
2010,
ICTAC.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2006,
ICFEM.
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2019,
Sci. Comput. Program..
Jim Woodcock,
Leo Freitas,
2007,
Electron. Notes Theor. Comput. Sci..
Andy J. Wellings,
Ana Cavalcanti,
James Baxter,
2016,
IFM.
Jim Woodcock,
Andrew Butterfield,
Leo Freitas,
2008,
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).
Cliff B. Jones,
Andrius Velykis,
Leo Freitas,
2014,
HOWARD-60.
Andy J. Wellings,
Ana Cavalcanti,
James Baxter,
2015,
JTRES.
Martin Emms,
Paolo Modesti,
Leo Freitas,
2018,
SBMF.
Jim Woodcock,
Leo Freitas,
2007,
Formal Methods and Hybrid Real-Time Systems.
Tim Miller,
Petra Malik,
Mark Utting,
2005,
IFM.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2005,
FM.
Leo Freitas,
2009,
SBMF.
Leo Freitas,
Leo Freitas,
2005
.
Jan Tobias Mühlberg,
Leo Freitas,
2011
.
Jim Woodcock,
Ana Cavalcanti,
Leo Freitas,
2007
.