TY  - RPRT
TI  - A Pre-Expectation Calculus for Probabilistic Sensitivity
AU  - Alejandro Aguirre
AU  - Gilles Barthe
AU  - Justin Hsu
AU  - Benjamin Lucien Kaminski
AU  - Joost-Pieter Katoen
AU  - Christoph Matheja
PY  - 2020
UR  - https://arxiv.org/abs/1901.06540
ID  - 1901.06540
ER  -