h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Verscht, Lena
%A Wáng, Ānrán
%A Kaminski, Benjamin Lucien
%T Partial Incorrectness Logic
%M RWTH-2026-01871
%P 4 Seiten
%D 2025
%B Theory and Practice of Static Analysis Workshop
%C 21 Jan 2025 - 21 Jan 2025, Denver (USA)
Y2 21 Jan 2025 - 21 Jan 2025
M2 Denver, USA
%K FOS: Computer and information sciences (Other)
%K Logic in Computer Science (cs.LO) (Other)
%K Programming Languages (cs.PL) (Other)
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/arXiv.2502.14626
%U https://publications.rwth-aachen.de/record/1028796