@article{ABDG:POPL:25,
 author    = {Martin Avanzini and
                  Gilles Barthe and
                  Davide Davoli and
                  Benjamin Gr{\'{e}}goire},
 title     = {A Quantitative Probabilistic Relational Hoare Logic},
 year      = {2025},
 journal   = {Proc. {ACM} Program. Lang.},
 volume    = {9},
 pages     = {1167--1195},
 number    = {{POPL}},
 doi       = {10.1145/3704876},
 keywords  = {article}
}