TY  - RPRT
TI  - A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
AU  - Lena Verscht
AU  - Benjamin Lucien Kaminski
PY  - 2024
UR  - https://arxiv.org/abs/2411.06416
ID  - 2411.06416
ER  -