Login / Signup

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.

Christina JansenJens KatelaanChristoph MathejaThomas NollFlorian Zuleger
Published in: ESOP (2017)
Keyphrases