@misc{indiciae301f666f867d,
  title = {StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs},
  author = {Yusuke Kawamoto and Kentaro Kobayashi and Kohei Suenaga},
  year = {2025},
  url = {https://arxiv.org/abs/2405.17492},
  note = {Source identifier: 2405.17492}
}