TY  - RPRT
TI  - A program logic for union bounds
AU  - Gilles Barthe
AU  - Marco Gaboardi
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Pierre-Yves Strub
PY  - 2019
DO  - 10.4230/lipics.icalp.2016.107
UR  - https://arxiv.org/abs/1602.05681
ID  - 1602.05681
ER  -