@misc{indiciae3c436918ea4a,
  title = {On Completeness Results of Hoare Logic Relative to the Standard Model},
  author = {Zhaowei Xu and Wenhui Zhang and Yuefei Sui},
  year = {2017},
  url = {https://arxiv.org/abs/1703.00237},
  note = {Source identifier: 1703.00237}
}