Login / Signup
Alexandre Mota
ORCID
Publication Activity (10 Years)
Years Active: 1998-2023
Publications (10 Years): 19
Top Topics
Model Checking
Code Coverage
Rapid Prototyping
Reject Option
Top Venues
SBMF
SAST
Inf. Process. Lett.
Formal Aspects Comput.
</>
Publications
</>