Login / Signup
Giuseppe A. Di Lucca
ORCID
Publication Activity (10 Years)
Years Active: 1990-2021
Publications (10 Years): 4
Top Topics
Model Checking
Automated Verification
Timed Automata
Temporal Properties
Top Venues
J. Softw. Evol. Process.
CAiSE Forum
MSR
SAC
</>
Publications
</>