Roberto Bruttomesso
发表
Z. Hanna,
A. Cimatti,
A. Griggio,
2007
.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
TACAS.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CADE.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2006,
Inf. Comput..
N. Sharygina,
Silvio Ranise,
Roberto Bruttomesso,
2014,
Formal Methods Syst. Des..
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2008,
CAV.
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2006,
Annals of Mathematics and Artificial Intelligence.
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2008
.
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2006,
LPAR.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
CAV.
Roberto Bruttomesso,
Alberto Griggio,
David R. Cok,
2013,
SMT@IJCAR.
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2007,
CAV.
Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
2005,
Journal of Automated Reasoning.
Alan J. Hu,
Zvonimir Rakamaric,
Roberto Bruttomesso,
2007,
ATVA.
Roberto Bruttomesso,
Silvio Ghilardi,
Silvio Ranise,
2012,
Log. Methods Comput. Sci..
Roberto Bruttomesso,
Silvio Ghilardi,
Silvio Ranise,
2011,
FroCoS.
Roberto Bruttomesso,
Silvio Ghilardi,
Silvio Ranise,
2011,
RTA.
Roberto Bruttomesso,
Roberto Bruttomesso,
2009,
SMT '09.
Roberto Bruttomesso,
Silvio Ghilardi,
Silvio Ranise,
2014,
ACM Trans. Comput. Log..
Roberto Bruttomesso,
Silvio Ghilardi,
Silvio Ranise,
2012,
IJCAR.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.