h1

h2

h3

h4

h5
h6
% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Batz:1013120,
      author       = {Batz, Kevin and Katoen, Joost-Pieter and Randone, Francesca
                      and Winkler, Tobias},
      title        = {{F}oundations for {D}eductive {V}erification of
                      {C}ontinuous {P}robabilistic {P}rograms: {F}rom {L}ebesgue
                      to {R}iemann and {B}ack},
      journal      = {Proceedings of the ACM on programming languages : (PACMPL)},
      volume       = {9},
      number       = {OOPSLA1},
      issn         = {2475-1421},
      address      = {New York, NY, USA},
      publisher    = {ACM},
      reportid     = {RWTH-2025-05359},
      pages        = {95},
      year         = {2025},
      cin          = {121310 / 120000 / 080060},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)080060_20170720$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001500229000004},
      doi          = {10.1145/3720429},
      url          = {https://publications.rwth-aachen.de/record/1013120},
}