F. Logozzo
发表
K. Leino,
F. Logozzo,
2007
.
Davide Ancona,
Elena Zucca,
Sophia Drossopoulou,
2006,
ECOOP Workshops.
Gary T. Leavens,
Erik Poll,
Peter Müller,
2006,
ECOOP Workshops.
Sophia Drossopoulou,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
2006,
ECOOP Workshops.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2008
.
Agostino Cortesi,
Francesco Logozzo,
F. Logozzo,
2012
.
Pietro Ferrara,
Francesco Logozzo,
Manuel Fähndrich,
2008
.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2013
.
Patrick Cousot,
Radhia Cousot,
Francesco Logozzo,
2011
.
F. Logozzo,
2009
.
C. Popeea,
F. Logozzo,
Vincent Laviron,
2009
.
Agostino Cortesi,
Francesco Logozzo,
F. Logozzo,
2005
.
Agostino Cortesi,
Francesco Logozzo,
F. Logozzo,
2005
.
Manuel Fähndrich,
Francesco Logozzo,
Michael Barnett,
2010,
SAC '10.
K. Rustan M. Leino,
Francesco Logozzo,
K. Leino,
2005,
APLAS.
Patrick Cousot,
Radhia Cousot,
Francesco Logozzo,
2012,
OOPSLA '12.
Agostino Cortesi,
Francesco Logozzo,
F. Logozzo,
2005,
COORDINATION.
Peter W. O'Hearn,
Manuel Fähndrich,
Francesco Logozzo,
2019,
Commun. ACM.
Thomas Ball,
Francesco Logozzo,
T. Ball,
2012,
OOPSLA '12.
Agostino Cortesi,
Francesco Logozzo,
F. Logozzo,
2006,
VMCAI.
Francesco Logozzo,
F. Logozzo,
2005,
TACoS.
Francesco Logozzo,
F. Logozzo,
2003,
SAS.
Patrick Cousot,
Radhia Cousot,
Francesco Logozzo,
2011,
VMCAI.
Patrick Cousot,
Radhia Cousot,
Francesco Logozzo,
2011
.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2010,
FoVeOOS.
Manuel Fähndrich,
Francesco Logozzo,
Manuel Fähndrich,
2008,
SAC '08.
P. Cousot,
R. Cousot,
F. Logozzo,
2022
.
Francesco Logozzo,
F. Logozzo,
2004,
VMCAI.
Nikolai Tillmann,
Jonathan de Halleux,
Manuel Fähndrich,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Songtao Xia,
Manuel Fähndrich,
Francesco Logozzo,
2009,
SAS.
Francesco Logozzo,
Vincent Laviron,
F. Logozzo,
2009,
APLAS.
P. Cousot,
R. Cousot,
Manuel Fähndrich,
2013,
VMCAI.