TY  - RPRT
TI  - Symbolic Quantitative Information Flow for Probabilistic Programs
AU  - Philipp Schröer
AU  - Francesca Randone
AU  - Raúl Pardo
AU  - Andrzej Wąsowski
PY  - 2024
DO  - 10.1007/978-3-031-75783-9_6
UR  - https://arxiv.org/abs/2412.00907
ID  - 2412.00907
ER  -