@misc{indiciae0582e36c3a31,
  title = {A quantitative probabilistic relational Hoare logic},
  author = {Martin Avanzini and Gilles Barthe and Davide Davoli and Benjamin Grégoire},
  year = {2025},
  url = {https://arxiv.org/abs/2407.17127},
  note = {Source identifier: 2407.17127}
}