A. Cerone
发表
Matthew Hennessy,
Massimo Merro,
Andrea Cerone,
2013,
Log. Methods Comput. Sci..
Matthew Hennessy,
Massimo Merro,
Andrea Cerone,
2013,
Log. Methods Comput. Sci..
Andrea Cerone,
A. Cerone,
2012
.
Matthew Hennessy,
Andrea Cerone,
M. Hennessy,
2010
.
Philippa Gardner,
Azalea Raad,
Andrea Cerone,
2019,
ArXiv.
Philippa Gardner,
Azalea Raad,
Andrea Cerone,
2020,
ECOOP.
Matthew Hennessy,
Andrea Cerone,
M. Hennessy,
2010,
EXPRESS.
A. Cerone,
Alexey Gotsman,
2018
.
Alexey Gotsman,
Andrea Cerone,
Giovanni Tito Bernardi,
2015,
CONCUR.
Hongseok Yang,
Alexey Gotsman,
Andrea Cerone,
2015,
DISC.