TY  - RPRT
TI  - Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
AU  - Darius Foo
AU  - Yahui Song
AU  - Wei-Ngan Chin
PY  - 2024
UR  - https://arxiv.org/abs/2308.00988
ID  - 2308.00988
ER  -