TY  - RPRT
TI  - StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
AU  - Yusuke Kawamoto
AU  - Kentaro Kobayashi
AU  - Kohei Suenaga
PY  - 2025
UR  - https://arxiv.org/abs/2405.17492
ID  - 2405.17492
ER  -