h1

% 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{Schroer:973371,
      author       = {Schroer, Philipp and Batz, Kevin and Kaminski, Benjamin
                      Lucien and Katoen, Joost-Pieter and Matheja, Christoph},
      title        = {{A} {D}eductive {V}erification {I}nfrastructure for
                      {P}robabilistic {P}rograms ({E}xtended {V}ersion)},
      reportid     = {RWTH-2023-10748},
      pages        = {[1]-48},
      year         = {2023},
      keywords     = {FOS: Computer and information sciences (Other) /
                      Programming Languages (cs.PL) (Other)},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
                      Breaking New Ground for Automation (787914)},
      pid          = {G:(EU-Grant)787914},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2309.07781},
      howpublished = {arXiv:2309.07781},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2309.07781;\%\%$},
      doi          = {10.48550/arXiv.2309.07781},
      url          = {https://publications.rwth-aachen.de/record/973371},
}