TY  - RPRT
TI  - An Assertion-Based Program Logic for Probabilistic Programs
AU  - Gilles Barthe
AU  - Thomas Espitau
AU  - Marco Gaboardi
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Pierre-Yves Strub
PY  - 2018
UR  - https://arxiv.org/abs/1803.05535
ID  - 1803.05535
ER  -