Daniele Dell'Erba
发表
S. Schewe,
Daniele Dell'Erba,
2022,
ArXiv.
Massimo Benerecetti,
Marco Faella,
Daniele Dell'Erba,
2020,
ArXiv.
M. Benerecetti,
Daniele Dell'Erba,
F. Mogavero,
2018,
Formal Methods in System Design.
S. Schewe,
Daniele Dell'Erba,
2022,
Frontiers in Computer Science.
Sven Schewe,
Massimo Benerecetti,
Fabio Mogavero,
2021,
ArXiv.
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2019,
TACAS.
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2017,
GandALF.
Massimo Benerecetti,
Daniele Dell'Erba,
Fabio Mogavero,
2016,
Haifa Verification Conference.
Massimo Benerecetti,
Fabio Mogavero,
Daniele Dell'Erba,
2016,
GandALF.
Massimo Benerecetti,
Daniele Dell'Erba,
Fabio Mogavero,
2016,
CAV.