@misc{indiciae29a243d7bfd9,
  title = {Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond},
  author = {Lena Verscht and Benjamin Kaminski},
  year = {2023},
  url = {https://arxiv.org/abs/2312.09662},
  note = {Source identifier: 2312.09662}
}