Login / Signup
Antonina Nepeivoda
ORCID
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 5
Top Topics
Computer Programs
Polynomial Equations
Tree Grammars
Symbolic Execution
Top Venues
CoRR
VPT@ETAPS
VPT@CAV
J. Log. Algebraic Methods Program.
</>
Publications
</>