h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Batz, Kevin
AU  - Katoen, Joost-Pieter
AU  - Randone, Francesca
AU  - Winkler, Tobias
TI  - Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
JO  - Proceedings of the ACM on programming languages : (PACMPL)
VL  - 9
IS  - OOPSLA1
SN  - 2475-1421
CY  - New York, NY, USA
PB  - ACM
M1  - RWTH-2025-05359
SP  - 95
PY  - 2025
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001500229000004
DO  - DOI:10.1145/3720429
UR  - https://publications.rwth-aachen.de/record/1013120
ER  -