TY  - RPRT
TI  - On Incorrectness Logic and Kleene Algebra with Top and Tests
AU  - Cheng Zhang
AU  - Arthur Azevedo de Amorim
AU  - Marco Gaboardi
PY  - 2022
UR  - https://arxiv.org/abs/2108.07707
ID  - 2108.07707
ER  -