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{Verscht:1028796,
      author       = {Verscht, Lena and Wáng, Ānrán and Kaminski, Benjamin
                      Lucien},
      title        = {{P}artial {I}ncorrectness {L}ogic},
      reportid     = {RWTH-2026-01871},
      pages        = {4 Seiten},
      year         = {2025},
      month         = {Jan},
      date          = {2025-01-21},
      organization  = {Theory and Practice of Static Analysis
                       Workshop, Denver (USA), 21 Jan 2025 -
                       21 Jan 2025},
      keywords     = {FOS: Computer and information sciences (Other) / Logic in
                      Computer Science (cs.LO) (Other) / Programming Languages
                      (cs.PL) (Other)},
      cin          = {121310},
      cid          = {$I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2502.14626},
      howpublished = {arXiv:2502.14626},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2502.14626;\%\%$},
      doi          = {10.48550/arXiv.2502.14626},
      url          = {https://publications.rwth-aachen.de/record/1028796},
}