Login / Signup
Andrea Domenici
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 27
Top Topics
Medical Devices
Formal Verification
Theorem Proving
Model Checking
Top Venues
SEFM Workshops
STAF Workshops
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
MobiHealth
</>
Publications
</>