Travelled to:
1 × Germany
Collaborated with:
D.Garbervetsky D.Gorín
Talks about:
structur (1) invari (1) enforc (1) frame (1) dynam (1) use (1)
Person: Ariel Neisen
DBLP: Neisen:Ariel
Contributed to:
Wrote 1 papers:
- TACAS-2011-GarbervetskyGN #invariant #using
- Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.