@article{CTT100875917,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {Lecture notes in computer science, LNCS},
  year = 2022,
}

@inproceedings{CTT100875918,
  author = {Tetsuya Sato and 勝股審也},
  title = {関係プログラム論理のためのモナド上のダイバージェンス},
  booktitle = {},
  year = 2022,
}