Gianluca Trentanni
发表
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2012
.
Gianluca Trentanni,
Giuseppe Lami,
Isabella Biscoglio,
2016,
MODELSWARD.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2009,
J. Log. Algebraic Methods Program..
Stefania Gnesi,
Gianluca Trentanni,
Giuseppe Lami,
2005,
Comput. Syst. Sci. Eng..
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2009
.
Stefania Gnesi,
Gianluca Trentanni,
Mario Fusani,
2010,
2010 Seventh International Conference on the Quality of Information and Communications Technology.
Stefania Gnesi,
Gianluca Trentanni,
2019,
REFSQ Workshops.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2008,
ERCIM News.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2010,
SAC '10.
Gianluca Trentanni,
Giuseppe Lami,
Isabella Biscoglio,
2016,
AMARETTO@MODELSWARD.
Gianluca Trentanni,
Mario Fusani,
Giuseppe Lami,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2008,
ERCIM News.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2004,
VVEIS.
Gianluca Trentanni,
Fabrizio Fabbrini,
Mario Fusani,
2010,
2010 10th International Conference on Quality Software.
Gianluca Trentanni,
Mario Fusani,
Giuseppe Lami,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Eda Marchetti,
Gianluca Trentanni,
Giuseppe Lami,
2015,
2015 10th International Joint Conference on Software Technologies (ICSOFT).
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2006
.