Login / Signup
Ezequiel José Veloso Ferreira Moreira
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Model Checking
Temporally Extended
Temporal Logic
Verification Method
Top Venues
SLATE
EICS (Workshops)
</>
Publications
</>