M. Bozzano
发表
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
TACAS.
A. Cimatti,
R. Sebastiani,
M. Bozzano,
2004
.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CADE.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2006,
Inf. Comput..
M. Bozzano,
Adolfo Villafiorita,
2003
.
A. Cimatti,
R. Sebastiani,
M. Bozzano,
2004
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2009,
ESEC/SIGSOFT FSE.
M. Bozzano,
2014
.
M. Bozzano,
Adolfo Villafiorita,
2007
.
A. Cimatti,
M. Bozzano,
M. Gario,
2022,
Artif. Intell..
Giorgio Delzanno,
Marco Bozzano,
Maurizio Martelli,
1997
.
Giorgio Delzanno,
Marco Bozzano,
Maurizio Martelli,
1997,
APPIA-GULP-PRODE.
Marco Bozzano,
Alberto Griggio,
Alessandro Cimatti,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Marco Bozzano,
Alessandro Cimatti,
Marco Gario,
2021,
Formal Aspects of Computing.
Marco Bozzano,
Stefano Tonetta,
Markus Schweizer,
2020,
SAFECOMP.
Marco Bozzano,
Marco Roveri,
Alessandro Cimatti,
2015,
Sci. Comput. Program..
Marco Bozzano,
Alessandro Cimatti,
Cristian Mattarei,
2013,
Haifa Verification Conference.
Marco Bozzano,
Alessandro Cimatti,
Cristian Mattarei,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Marco Bozzano,
Alessandro Cimatti,
Xavier Olive,
2012,
AAAI.
Marco Bozzano,
Marco Roveri,
Alessandro Cimatti,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Marco Bozzano,
Marco Roveri,
Alessandro Cimatti,
2011,
IJCAI.
Marco Bozzano,
Alessandro Cimatti,
Francesco Tapparo,
2007,
ATVA.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2007,
International Journal on Software Tools for Technology Transfer.
Piergiorgio Bertoli,
Marco Bozzano,
Alessandro Cimatti,
2007,
MoChArt.
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2003,
SAFECOMP.
Marco Bozzano,
M. Bozzano,
2017,
CREST@ETAPS.
Marco Bozzano,
Alessandro Cimatti,
Stefano Tonetta,
2015,
Log. Methods Comput. Sci..
Marco Bozzano,
Alessandro Cimatti,
Stefano Tonetta,
2014,
TACAS.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CAV.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
Journal of Automated Reasoning.
A. Cimatti,
M. Bozzano,
Cristian Mattarei,
2019,
Formal Aspects of Computing.
Marco Bozzano,
Alessandro Cimatti,
Benjamin Bittner,
2017,
IMBSA.
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2014,
Reliab. Eng. Syst. Saf..
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2011,
Comput. J..
Marco Bozzano,
Adolfo Villafiorita,
M. Bozzano,
2010
.
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Giorgio Delzanno,
Marco Bozzano,
Maurizio Martelli,
2003,
Theory and Practice of Logic Programming.
Giorgio Delzanno,
Marco Bozzano,
G. Delzanno,
2002,
CAV.
Marco Bozzano,
M. Bozzano,
2002
.
Marco Bozzano,
Alessandro Cimatti,
D. Jones,
2015,
CAV.
Pierre Bieber,
Sylvain Metge,
Marco Bozzano,
2006
.
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2009,
SAFECOMP.
M. Bozzano,
Adolfo Villafiorita,
2007,
International Journal on Software Tools for Technology Transfer.
R. Schlick,
S. Tonetta,
M. Bozzano,
2021,
Microprocess. Microsystems.
Marco Bozzano,
Alessandro Cimatti,
Stefano Tonetta,
2014,
ATVA.
Joost-Pieter Katoen,
Marco Bozzano,
Alessandro Cimatti,
2019,
TACAS.
Marco Bozzano,
Gilles Audemard,
Alessandro Cimatti,
2005,
BMC@CAV.
Viviana Mascardi,
Giorgio Delzanno,
Marco Bozzano,
1999,
PADL.
Giorgio Delzanno,
Marco Bozzano,
Maurizio Martelli,
2000,
PPDP '00.