h1

h2

h3

h4

h5
h6
001028796 001__ 1028796
001028796 005__ 20260224095859.0
001028796 0247_ $$2arXiv$$aarXiv:2502.14626
001028796 0247_ $$2doi$$a10.48550/arXiv.2502.14626
001028796 0247_ $$2datacite_doi$$a10.18154/RWTH-2026-01871
001028796 037__ $$aRWTH-2026-01871
001028796 041__ $$aEnglish
001028796 1001_ $$0P:(DE-82)IDM07537$$aVerscht, Lena$$b0$$urwth
001028796 1112_ $$aTheory and Practice of Static Analysis Workshop$$cDenver$$d2025-01-21 - 2025-01-21$$gTPSA 2025$$wUSA
001028796 245__ $$aPartial Incorrectness Logic$$honline
001028796 260__ $$c2025
001028796 300__ $$a4 Seiten
001028796 3367_ $$028$$2EndNote$$aElectronic Article
001028796 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint
001028796 3367_ $$2BibTeX$$aARTICLE
001028796 3367_ $$2DRIVER$$apreprint
001028796 3367_ $$2DataCite$$aOutput Types/Working Paper
001028796 3367_ $$2ORCID$$aWORKING_PAPER
001028796 588__ $$aDataset connected to DataCite
001028796 591__ $$aGermany
001028796 591__ $$aUK
001028796 650_7 $$2Other$$aFOS: Computer and information sciences
001028796 650_7 $$2Other$$aLogic in Computer Science (cs.LO)
001028796 650_7 $$2Other$$aProgramming Languages (cs.PL)
001028796 7001_ $$aWáng, Ānrán$$b1
001028796 7001_ $$0P:(DE-82)IDM01411$$aKaminski, Benjamin Lucien$$b2
001028796 7112_ $$a52. ACM SIGPLAN Symposium on Principles of Programming Languages$$cDenver$$d2025-01-19 - 2025-01-25$$gPOPL 2025$$wUSA
001028796 8564_ $$uhttps://publications.rwth-aachen.de/record/1028796/files/1028796.pdf$$yOpenAccess
001028796 909CO $$ooai:publications.rwth-aachen.de:1028796$$pdnbdelivery$$pdriver$$pVDB$$popen_access$$popenaire
001028796 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM07537$$aRWTH Aachen$$b0$$kRWTH
001028796 9141_ $$y2025
001028796 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001028796 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001028796 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001028796 961__ $$c2026-02-17T13:47:24.355663$$x2026-02-17T13:47:24.355663$$z2026-02-19
001028796 980__ $$aI:(DE-82)121310_20140620
001028796 980__ $$aUNRESTRICTED
001028796 980__ $$aVDB
001028796 980__ $$apreprint
001028796 9801_ $$aFullTexts