h1

h2

h3

h4

h5
h6
%0 Journal 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
%J Proceedings of the ACM on programming languages
%V 7
%N OOPSLA2
%@ 2475-1421
%C New York, NY, USA
%I ACM
%M RWTH-2023-10693
%P 294
%D 2023
%B International Conference on Systems, Programming, Languages and Applications: Software for Humanity
%C 22 Oct 2023 - 27 Oct 2023, Cascais (Portugal)
Y2 22 Oct 2023 - 27 Oct 2023
M2 Cascais, Portugal
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
%9 Journal ArticleContribution to a conference proceedings
%U <Go to ISI:>//WOS:001087279100074
%R 10.1145/3622870
%U https://publications.rwth-aachen.de/record/973293