Login / Signup
Nicola Angius
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 3
Top Topics
Software Testing
Qualitative Models
Abductive Reasoning
Formal Verification
Top Venues
J. Log. Comput.
Minds Mach.
Log. J. IGPL
</>
Publications
</>