@misc{indiciae5c2696d2c9da,
  title = {Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications},
  author = {Jayaraj Poroor},
  year = {2021},
  url = {https://arxiv.org/abs/2103.05779},
  note = {Source identifier: 2103.05779}
}