@misc{indiciae8b1291f9e023,
  title = {Scope Logic: Extending Hoare Logic for Pointer Program Verification},
  author = {Jianhua Zhao and Xuandong Li},
  year = {2009},
  url = {https://arxiv.org/abs/0912.4184},
  note = {Source identifier: 0912.4184}
}