Ariel Neisen

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Diego Garbervetsky, Daniel Gorín, Ariel Neisen
Enforcing Structural Invariants Using Dynamic Frames. TACAS (2011)