Login / Signup
Vincent Nimal
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 1
Top Topics
Semi Automatic
Computer Programs
Static Analysis
Memory Footprint
Top Venues
CoRR
CAV
ESOP
ACM Trans. Program. Lang. Syst.
</>
Publications
</>