Login / Signup
Lev Denisov
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 7
Top Topics
Static Analysis
Denotational Semantics
Programming Language Constructs
Precision And Recall
Top Venues
SAMOS
SAC
CF
PARMA-DITAM@HiPEAC
</>
Publications
</>