@misc{indiciae0ebfd2125340,
  title = {Verification Condition Generation and Variable Conditions in Smallfoot},
  author = {Josh Berdine and Cristiano Calcagno and Peter W. O'Hearn},
  year = {2012},
  url = {https://arxiv.org/abs/1204.4804},
  note = {Source identifier: 1204.4804}
}