Luis María Ferrer Fioriti
发表
Holger Hermanns,
Jonathan Bogdoll,
Luis María Ferrer Fioriti,
2011,
FMOODS/FORTE.
Rupak Majumdar,
Holger Hermanns,
Luis María Ferrer Fioriti,
2016,
TACAS.
Pedro R. D'Argenio,
Luis María Ferrer Fioriti,
Sergio Giro,
2014,
Theor. Comput. Sci..
Holger Hermanns,
Luis María Ferrer Fioriti,
Ernst Moritz Hahn,
2012,
ATVA.
Holger Hermanns,
Luis María Ferrer Fioriti,
H. Hermanns,
2015,
POPL.
Pedro R. D'Argenio,
Luis María Ferrer Fioriti,
Sergio Giro,
2009,
CONCUR.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2014,
QAPL.
Gilles Barthe,
Thomas Espitau,
Justin Hsu,
2016,
CAV.
Holger Hermanns,
Luis María Ferrer Fioriti,
Andrea Turrini,
2016,
Formal Aspects of Computing.
Holger Hermanns,
Luis María Ferrer Fioriti,
2012,
MMB/DFT.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
VMCAI.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
Formal Aspects of Computing.
Bernd Becker,
Holger Hermanns,
Luis María Ferrer Fioriti,
2015,
SETTA.
Luis María Ferrer Fioriti,
H. Hermanns,
2015,
POPL.