h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Batz, Kevin
%A Katoen, Joost-Pieter
%A Randone, Francesca
%A Winkler, Tobias
%T Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
%J Proceedings of the ACM on programming languages : (PACMPL)
%V 9
%N OOPSLA1
%@ 2475-1421
%C New York, NY, USA
%I ACM
%M RWTH-2025-05359
%P 95
%D 2025
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001500229000004
%R 10.1145/3720429
%U https://publications.rwth-aachen.de/record/1013120