Login / Signup
Marcello M. Bonsangue
ORCID
Publication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 34
Top Topics
Recursive Programs
Flow Graphs
Symbolic Execution
Model Counting
Top Venues
Sci. Comput. Program.
CoRR
ICFEM
TASE
</>
Publications
</>