Login / Signup
Roman Manevich
Publication Activity (10 Years)
Years Active: 2002-2020
Publications (10 Years): 10
Top Topics
Abstract Interpretation
Shape Analysis
Planning Domains
Hierarchical Task Networks
Top Venues
CoRR
PLDI
Found. Trends Program. Lang.
VMCAI
</>
Publications
</>