h1

000973293 001__ 973293
000973293 005__ 20240701115117.0
000973293 0247_ $$2ISSN$$a2475-1421
000973293 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85175015084
000973293 0247_ $$2WOS$$aWOS:001087279100074
000973293 0247_ $$2datacite_doi$$a10.18154/RWTH-2023-10693
000973293 0247_ $$2doi$$a10.1145/3622870
000973293 037__ $$aRWTH-2023-10693
000973293 041__ $$aEnglish
000973293 082__ $$a004
000973293 1001_ $$0P:(DE-82)IDM05116$$aSchroer, Philipp$$b0$$eCorresponding author$$urwth
000973293 1112_ $$aInternational Conference on Systems, Programming, Languages and Applications: Software for Humanity$$cCascais$$d2023-10-22 - 2023-10-27$$gSPLASH 2023$$wPortugal
000973293 245__ $$aA Deductive Verification Infrastructure for Probabilistic Programs$$honline
000973293 260__ $$aNew York, NY, USA$$bACM$$c2023
000973293 300__ $$a1-31
000973293 3367_ $$00$$2EndNote$$aJournal Article
000973293 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
000973293 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
000973293 3367_ $$2BibTeX$$aARTICLE
000973293 3367_ $$2DRIVER$$aarticle
000973293 3367_ $$2DataCite$$aOutput Types/Journal article
000973293 3367_ $$2ORCID$$aJOURNAL_ARTICLE
000973293 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000973293 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
000973293 591__ $$aDenmark
000973293 591__ $$aGermany
000973293 591__ $$aUK
000973293 7001_ $$0P:(DE-82)IDM04047$$aBatz, Kevin$$b1$$eCorresponding author$$urwth
000973293 7001_ $$aKaminski, Benjamin Lucien$$b2$$eCorresponding author
000973293 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b3$$eCorresponding author$$urwth
000973293 7001_ $$aMatheja, Christoph$$b4$$eCorresponding author
000973293 7112_ $$aObject-Oriented Programming, Systems, Languages & Applications$$cCascais$$d2023-10-22 - 2023-10-27$$gOOPSLA 2023$$wPortugal
000973293 770__ $$aOOPSLA2
000973293 773__ $$0PERI:(DE-600)2924207-1$$a10.1145/3622870$$nOOPSLA2$$p294$$tProceedings of the ACM on programming languages$$v7$$x2475-1421$$y2023
000973293 7870_ $$0RWTH-2023-10748$$iRelatedTo
000973293 8564_ $$uhttps://publications.rwth-aachen.de/record/973293/files/973293.pdf$$yOpenAccess
000973293 909CO $$ooai:publications.rwth-aachen.de:973293$$popenaire$$popen_access$$pec_fundedresources$$pdriver$$pdnbdelivery$$pVDB
000973293 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05116$$aRWTH Aachen$$b0$$kRWTH
000973293 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04047$$aRWTH Aachen$$b1$$kRWTH
000973293 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b3$$kRWTH
000973293 9141_ $$y2023
000973293 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000973293 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
000973293 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bP ACM PROGRAM LANG : 2022$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0112$$2StatID$$aWoS$$bEmerging Sources Citation Index$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2023-10-27
000973293 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000973293 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2023-10-27
000973293 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000973293 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000973293 961__ $$c2023-11-14T10:12:15.027409$$x2023-11-14T10:12:15.027409$$z2023-11-15
000973293 9801_ $$aFullTexts
000973293 980__ $$aI:(DE-82)120000_20140620
000973293 980__ $$aI:(DE-82)121310_20140620
000973293 980__ $$aUNRESTRICTED
000973293 980__ $$aVDB
000973293 980__ $$acontrib
000973293 980__ $$ajournal