Login / Signup
Claudio Menghi
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 66
Top Topics
Model Checking
Timed Automata
Software Engineering
Multiple Robots
Top Venues
CoRR
ICSE (Companion Volume)
IEEE Trans. Software Eng.
ESEC/SIGSOFT FSE
</>
Publications
</>