Login / Signup
Ana Cruz
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Model Checker
Industrial Environment
Practical Reasoning
Transition Systems
Top Venues
CoRR
OL2A
ICGI
NCL
</>
Publications
</>