TY  - RPRT
TI  - Higher-Order Weakest Precondition Transformers via a CPS Transformation
AU  - Satoshi Kura
PY  - 2025
UR  - https://arxiv.org/abs/2301.09997
ID  - 2301.09997
ER  -