h1

h2

h3

h4

h5
h6
TY  - JOUR
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
JO  - Proceedings of the ACM on programming languages
VL  - 7
IS  - OOPSLA2
SN  - 2475-1421
CY  - New York, NY, USA
PB  - ACM
M1  - RWTH-2023-10693
SP  - 294
PY  - 2023
T2  - International Conference on Systems, Programming, Languages and Applications: Software for Humanity
CY  - 22 Oct 2023 - 27 Oct 2023, Cascais (Portugal)
Y2  - 22 Oct 2023 - 27 Oct 2023
M2  - Cascais, Portugal
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001087279100074
DO  - DOI:10.1145/3622870
UR  - https://publications.rwth-aachen.de/record/973293
ER  -