h1

h2

h3

h4

h5
h6
%0 Book Section
%A Schroer, Philipp
%A Randone, Francesca
%A Pardo, Raúl
%A Wa̧sowski, Andrzej
%T Symbolic Quantitative Information Flow for Probabilistic Programs
%V 15260
%C Cham
%I Springer
%M RWTH-2024-11339
%B Lecture notes in computer science
%P 128-154
%D 2025
%Z First Online: 13 November 2024
%< Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
%F PUB:(DE-HGF)7
%9 Contribution to a book
%R 10.1007/978-3-031-75783-9_6
%U https://publications.rwth-aachen.de/record/998367