TY  - RPRT
TI  - Verification Condition Generation and Variable Conditions in Smallfoot
AU  - Josh Berdine
AU  - Cristiano Calcagno
AU  - Peter W. O'Hearn
PY  - 2012
UR  - https://arxiv.org/abs/1204.4804
ID  - 1204.4804
ER  -