TY  - RPRT
TI  - Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
AU  - Christina Jansen
AU  - Jens Katelaan
AU  - Christoph Matheja
AU  - Thomas Noll
AU  - Florian Zuleger
PY  - 2016
UR  - https://arxiv.org/abs/1610.07041
ID  - 1610.07041
ER  -