h1

h2

h3

h4

h5
h6
TY  - CHAP
AU  - Schroer, Philipp
AU  - Randone, Francesca
AU  - Pardo, Raúl
AU  - Wa̧sowski, Andrzej
TI  - Symbolic Quantitative Information Flow for Probabilistic Programs
VL  - 15260
CY  - Cham
PB  - Springer
M1  - RWTH-2024-11339
T2  - Lecture notes in computer science
SP  - 128-154
PY  - 2025
N1  - First Online: 13 November 2024
LB  - PUB:(DE-HGF)7
DO  - DOI:10.1007/978-3-031-75783-9_6
UR  - https://publications.rwth-aachen.de/record/998367
ER  -