Login / Signup
Giovanni Denaro
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 34
Top Topics
Symbolic Execution
Automatically Generate
Modulo Theories
Object Oriented
Top Venues
CoRR
IEEE Trans. Software Eng.
ITASEC
Commun. Nonlinear Sci. Numer. Simul.
</>
Publications
</>