@article{CTT100920897,
  author = {Yusuke Kawamoto and Tetsuya Sato and Kohei Suenaga},
  title = {Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs},
  journal = {Artificial Intelligence},
  year = 2024,
}