Login / Signup
Margherita Zorzi
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 31
Top Topics
Logical Framework
Temporal Logic
Adverse Drug Reactions
Invited Paper
Top Venues
CoRR
IEA/AIE
KES-AMSTA
KES
</>
Publications
</>