Login / Signup
Giorgio Delzanno
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 42
Top Topics
Model Checking
Formal Verification
Computational Thinking
Agent Systems
Top Venues
UMAP (Adjunct Publication)
RP
CILC
Fundam. Informaticae
</>
Publications
</>