@misc{indiciae848278ebd9d3,
  title = {The Hoare-fol Tool},
  author = {Maxime Folschette},
  year = {2019},
  url = {https://arxiv.org/abs/1912.08767},
  note = {Source identifier: 1912.08767}
}