h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Schroer, Philipp
AU  - Batz, Kevin
AU  - Kaminski, Benjamin Lucien
AU  - Katoen, Joost-Pieter
AU  - Matheja, Christoph
TI  - A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
M1  - RWTH-2023-10748
SP  - [1]-48
PY  - 2023
KW  - FOS: Computer and information sciences (Other)
KW  - Programming Languages (cs.PL) (Other)
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/arXiv.2309.07781
UR  - https://publications.rwth-aachen.de/record/973371
ER  -