TY  - RPRT
TI  - Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
AU  - Yusuke Kawamoto
AU  - Tetsuya Sato
AU  - Kohei Suenaga
PY  - 2023
DO  - 10.1016/j.artint.2023.104045
UR  - https://arxiv.org/abs/2208.07074
ID  - 2208.07074
ER  -