F. Mazzanti
发表
Ivan Lanese,
Davide Sangiorgi,
Massimo Bartoletti,
2011,
Results of the SENSORIA Project.
S. Gnesi,
F. Mazzanti,
2003
.
S. Gnesi,
F. Mazzanti,
2005
.
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
1999,
PDPTA.
M. Beek,
F. Damiani,
F. Mazzanti,
2021,
SPLC.
A. Fantechi,
M. Beek,
S. Gnesi,
2007
.
F. Mazzanti,
2004
.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2022,
Leveraging Applications of Formal Methods.
Alessio Ferrari,
M. Beek,
F. Mazzanti,
2021,
ArXiv.
M. Beek,
S. Gnesi,
F. Mazzanti,
2022
.
F. Mazzanti,
2006
.
F. Mazzanti,
2003
.
Matthias M. Hölzl,
S. Gilmore,
R. Pugliese,
2018
.
F. Mazzanti,
T. Marzullo,
2007
.
Maurice H. ter Beek,
F. Mazzanti,
Alessio Ferrari,
2022,
IEEE Transactions on Software Engineering.
José Luiz Fiadeiro,
João Abreu,
Stefania Gnesi,
2009,
FMOODS/FORTE.
Franco Mazzanti,
Radu Mateescu,
Frédéric Lang,
2020,
TACAS.
Franco Mazzanti,
Alessio Ferrari,
Giorgio Oronzo Spagnolo,
2018,
International Journal on Software Tools for Technology Transfer.
Franco Mazzanti,
Alessio Ferrari,
Alessio Ferrari,
2018,
MARS/VPT@ETAPS.
Corrado Moiso,
Maurice H. ter Beek,
Stefania Gnesi,
2006,
2006 European Conference on Web Services (ECOWS'06).
Nora Koch,
Maurice H. ter Beek,
Stefania Gnesi,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Enrico Tronci,
Stefania Gnesi,
Franco Mazzanti,
1998,
FM-Trends.
Jerome A. Feldman,
Franco Mazzanti,
Chu-cheow Lim,
1991
.
Franco Mazzanti,
F. Mazzanti,
1998
.
Stefania Gnesi,
Franco Mazzanti,
Francesco Tiezzi,
2012,
TSEM.
Franco Mazzanti,
Radu Mateescu,
Frédéric Lang,
2019,
Formal Methods in System Design.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
Models, Mindsets, Meta.
Diego Latella,
Mieke Massink,
Roberto Bruni,
2002,
WADT.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
IFM.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2016,
J. Log. Algebraic Methods Program..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2007,
FMICS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
Sci. Comput. Program..
Maurice H. ter Beek,
Franco Mazzanti,
Davide Basile,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
2011,
Results of the SENSORIA Project.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
RSSRail.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
FM.
Rocco De Nicola,
Franco Mazzanti,
Omar Inverso,
2017,
ModelEd, TestEd, TrustEd.
Maurice H. ter Beek,
Franco Mazzanti,
Aldi Sulova,
2010,
FM+AM.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2020,
Leveraging Applications of Formal Methods.
Franco Mazzanti,
F. Mazzanti,
2006
.
F. Mazzanti,
Michael Lienhardt,
Luca Paolini,
2019,
SPLC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
Ershov Memorial Conference.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
Sci. Comput. Program..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SEFM.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
Software, Services, and Systems.
Lorenzo Strigini,
Franco Mazzanti,
K. A. Delic,
1998
.
A. Fantechi,
S. Gnesi,
F. Mazzanti,
2007
.
Maurice H. ter Beek,
Franco Mazzanti,
Michael Lienhardt,
2021,
Empirical Software Engineering.