h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Verscht, Lena
AU  - Wáng, Ānrán
AU  - Kaminski, Benjamin Lucien
TI  - Partial Incorrectness Logic
M1  - RWTH-2026-01871
SP  - 4 Seiten
PY  - 2025
T2  - Theory and Practice of Static Analysis Workshop
CY  - 21 Jan 2025 - 21 Jan 2025, Denver (USA)
Y2  - 21 Jan 2025 - 21 Jan 2025
M2  - Denver, USA
KW  - FOS: Computer and information sciences (Other)
KW  - Logic in Computer Science (cs.LO) (Other)
KW  - Programming Languages (cs.PL) (Other)
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/arXiv.2502.14626
UR  - https://publications.rwth-aachen.de/record/1028796
ER  -