h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Schroer, Philipp
%A Batz, Kevin
%A Kaminski, Benjamin Lucien
%A Katoen, Joost-Pieter
%A Matheja, Christoph
%T A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
%M RWTH-2023-10748
%P [1]-48
%D 2023
%K FOS: Computer and information sciences (Other)
%K Programming Languages (cs.PL) (Other)
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/arXiv.2309.07781
%U https://publications.rwth-aachen.de/record/973371