h1

h2

h3

h4

h5
h6

001     973293
005     20240701115117.0
024 7 _ |2 ISSN
|a 2475-1421
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85175015084
024 7 _ |2 WOS
|a WOS:001087279100074
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2023-10693
024 7 _ |2 doi
|a 10.1145/3622870
037 _ _ |a RWTH-2023-10693
041 _ _ |a English
082 _ _ |a 004
100 1 _ |0 P:(DE-82)IDM05116
|a Schroer, Philipp
|b 0
|e Corresponding author
|u rwth
111 2 _ |a International Conference on Systems, Programming, Languages and Applications: Software for Humanity
|c Cascais
|d 2023-10-22 - 2023-10-27
|g SPLASH 2023
|w Portugal
245 _ _ |a A Deductive Verification Infrastructure for Probabilistic Programs
|h online
260 _ _ |a New York, NY, USA
|b ACM
|c 2023
300 _ _ |a 1-31
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |0 PUB:(DE-HGF)8
|2 PUB:(DE-HGF)
|a Contribution to a conference proceedings
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
536 _ _ |0 G:(EU-Grant)787914
|a FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)
|c 787914
|f ERC-2017-ADG
|x 0
588 _ _ |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Denmark
591 _ _ |a Germany
591 _ _ |a UK
700 1 _ |0 P:(DE-82)IDM04047
|a Batz, Kevin
|b 1
|e Corresponding author
|u rwth
700 1 _ |a Kaminski, Benjamin Lucien
|b 2
|e Corresponding author
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 3
|e Corresponding author
|u rwth
700 1 _ |a Matheja, Christoph
|b 4
|e Corresponding author
711 2 _ |a Object-Oriented Programming, Systems, Languages & Applications
|c Cascais
|d 2023-10-22 - 2023-10-27
|g OOPSLA 2023
|w Portugal
770 _ _ |a OOPSLA2
773 _ _ |0 PERI:(DE-600)2924207-1
|a 10.1145/3622870
|n OOPSLA2
|p 294
|t Proceedings of the ACM on programming languages
|v 7
|x 2475-1421
|y 2023
787 0 _ |0 RWTH-2023-10748
|i RelatedTo
856 4 _ |u https://publications.rwth-aachen.de/record/973293/files/973293.pdf
|y OpenAccess
909 C O |o oai:publications.rwth-aachen.de:973293
|p VDB
|p dnbdelivery
|p driver
|p ec_fundedresources
|p open_access
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM05116
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM04047
|a RWTH Aachen
|b 1
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00048
|a RWTH Aachen
|b 3
|k RWTH
914 1 _ |y 2023
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b P ACM PROGRAM LANG : 2022
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0112
|2 StatID
|a WoS
|b Emerging Sources Citation Index
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2023-10-27
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2023-10-27
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
|x 0
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 1
980 1 _ |a FullTexts
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a contrib
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21