@misc{indiciae9b6407075030,
  title = {A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests},
  author = {Lena Verscht and Benjamin Lucien Kaminski},
  year = {2024},
  url = {https://arxiv.org/abs/2411.06416},
  note = {Source identifier: 2411.06416}
}