@inproceedings{CTT100837271,
  author = {Tetsuya Sato},
  title = {Approximate Relational Hoare Logic for Continuous Random Samplings},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = 2016,
}