Giorgio Mongardi
发表
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1996,
EDCC.
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1998,
SAFECOMP.
Stefania Gnesi,
Salvatore Larosa,
Alessandro Fantechi,
1995,
SAFECOMP.
Stefania Gnesi,
Salvatore Larosa,
Alessandro Fantechi,
1998,
Formal Methods Syst. Des..
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1998,
Formal Aspects of Computing.
Giorgio Mongardi,
1993
.
Sandro Bologna,
Giorgio Mongardi,
Niels Kirkegaard,
1998,
SAFECOMP.
Andrea Bondavalli,
Luca Simoncini,
Giorgio Mongardi,
2001,
Comput. Syst. Sci. Eng..
Fausto Giunchiglia,
Paolo Traverso,
Alessandro Cimatti,
1997
.