@misc{indiciae0b38b43fc012,
  title = {Fifty years of Hoare's Logic},
  author = {Krzysztof R. Apt and Ernst-Ruediger Olderog},
  year = {2019},
  url = {https://arxiv.org/abs/1904.03917},
  note = {Source identifier: 1904.03917}
}