Login / Signup

Enforcing Structural Invariants Using Dynamic Frames.

Diego GarbervetskyDaniel GorínAriel Neisen
Published in: TACAS (2011)
Keyphrases