Login / Signup
Alcino Cunha
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 44
Top Topics
Model Checking
Programming Exercises
Class Diagram
Relational Models
Top Venues
ABZ
CoRR
IROS
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>