G. Pace
发表
G. Pace,
J. Cordina,
2004
.
Gordon J. Pace,
G. Pace,
J. Ellul,
2020,
ERA Forum.
G. Pace,
J. Cordina,
2003
.
G. Pace,
C. Colombo,
Luke Chircop,
2014
.
Gordon J. Pace,
G. Pace,
Sandro Spina,
2007
.
Gordon J. Pace,
G. Pace,
2003
.
G. Pace,
Gaetano Caruana,
2007
.
G. Schneider,
G. Pace,
2008
.
Gordon J. Pace,
G. Schneider,
G. Pace,
2008
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019
.
G. Pace,
I. Bondin,
2014
.
G. Pace,
I. Bondin,
2013
.
G. Pace,
C. Colombo,
2013
.
G. Pace,
C. Colombo,
S. Azzopardi,
2018
.
G. Pace,
Luis Llana,
M. Cambronero,
2017
.
Adrian Francalanza,
G. Pace,
C. Colombo,
2012
.
Gordon J. Pace,
G. Pace,
2012
.
Davide Ancona,
Gordon Pace,
D. Ancona,
2019,
VORTEX@ECOOP/ISSTA.
César Sánchez,
Gordon J. Pace,
Gerardo Schneider,
2020,
Leveraging Applications of Formal Methods.
Gordon J. Pace,
John Abela,
Steven Busuttil,
2004,
Genome informatics. International Conference on Genome Informatics.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2018,
RWDSL2018.
Dejan Nickovic,
César Sánchez,
Gordon J. Pace,
2018,
Formal Methods in System Design.
Gordon J. Pace,
Christian Colombo,
Joshua Ellul,
2018,
ISoLA.
Gordon J. Pace,
Christian Colombo,
G. Pace,
2013,
CSUR.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2007
.
Gordon J. Pace,
Joshua Ellul,
G. Pace,
2019,
SSRN Electronic Journal.
Gordon J. Pace,
G. Pace,
Matthew Scerri,
2021,
SSRN Electronic Journal.
Gordon J. Pace,
Sandro Spina,
Abigail Cauchi,
2008
.
Gordon J. Pace,
Adrian Francalanza,
Christian Colombo,
2016,
EICS.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009
.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009,
FMICS.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2008
.
Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software
Gordon J. Pace,
Christian Colombo,
G. Pace,
2007
.
Gordon J. Pace,
Gordon Pace,
Karlston D’Emanuele,
2005
.
Gordon J. Pace,
Christian Johansen,
Gerardo Schneider,
2007,
ATVA.
Gordon J. Pace,
G. Pace,
2000,
FMCAD.
Gordon J. Pace,
Christian Colombo,
Gerardo Schneider,
2009,
FORMATS.
Gordon J. Pace,
Adrian Francalanza,
Andrew Gauci,
2011,
J. Log. Algebraic Methods Program..
Gordon J. Pace,
Christian Colombo,
Shaun Azzopardi,
2016,
ISoLA.
Gordon J. Pace,
Gerardo Schneider,
G. Schneider,
2009,
IFM.
Brian Davis,
Gordon J. Pace,
Adam Wyner,
2016,
Lecture Notes in Computer Science.
Gordon J. Pace,
Joshua Ellul,
G. Pace,
2018,
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Gordon J. Pace,
Sergio Yovine,
Eugene Asarin,
2002,
CAV.
Gordon J. Pace,
G. Pace,
2004
.
Gordon J. Pace,
G. Pace,
2003
.
Gordon J. Pace,
Koen Claessen,
K. Claessen,
2002
.
Gordon J. Pace,
Christine Vella,
G. Pace,
2005
.
Gordon J. Pace,
Jean-Paul Ebejer,
Aaron John Buhagiar,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Gordon J. Pace,
Claudia Borg,
G. Pace,
2008
.
Gordon J. Pace,
Radu Mateescu,
Frédéric Lang,
2003,
CAV.
Gordon J. Pace,
Andrew Calleja,
G. Pace,
2009
.
Gordon J. Pace,
Andrew Calleja,
G. Pace,
2010
.
Gordon J. Pace,
Gerardo Schneider,
Fernando Schapachnik,
2016,
Artificial Intelligence and Law.
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2017,
Formal Methods Syst. Des..
Jesús Mauricio Chimento,
G. Schneider,
Wolfgang Ahrendt,
2017,
Formal methods in system design.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
FM.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2016,
ISoLA.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2012,
ISoLA.
Gordon J. Pace,
Kevin Falzon,
G. Pace,
2012,
MOMPES.
Gordon J. Pace,
Wolfgang Ahrendt,
Gerardo Schneider,
2015,
RV.
Gordon J. Pace,
Joshua Ellul,
Adrian Mizzi,
2017,
DEBS.
Nicolas Halbwachs,
Pascal Raymond,
Gordon J. Pace,
2004,
International Journal on Software Tools for Technology Transfer.