Login / Signup
Francesco Spegni
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 19
Top Topics
Temporal Properties
Java Programs
Model Checking
Formal Verification
Top Venues
HPCS
CoRR
FormaliSE@ICSE
VMCAI
</>
Publications
</>