Login / Signup
Giuseppe De Ruvo
ORCID
Publication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 8
Top Topics
Temporal Properties
Model Checking
Probabilistic Model
Formal Methods
Top Venues
WETICE
CAiSE Forum
FormaliSE@ICSE
FACS
</>
Publications
</>