Login / Signup
David A. Naumann
ORCID
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 35
Top Topics
Symbolic Execution
Information Flow
Data Abstraction
Linearly Ordered
Top Venues
CoRR
CSF
ACM Trans. Program. Lang. Syst.
ISoLA (2)
</>
Publications
</>