@article{CTT100925124,
  author = {Michikazu Hirata},
  title = {A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL},
  journal = {},
  year = 2024,
}

@article{CTT100916120,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {},
  year = 2023,
}

@article{CTT100922710,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Program logic for higher-order probabilistic programs in Isabelle/HOL},
  journal = {Science of Computer Programming},
  year = 2023,
}

@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{CTT100875475,
  author = {平田路和 and 南出靖彦 and 佐藤哲也},
  title = {Isabelle/HOLによる高階確率的プログラム検証},
  booktitle = {},
  year = 2021,
}