Gast ::
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
; ; ;
In
POPL
In
Proceedings of the ACM on programming languages : (PACMPL) 5, Seiten/Artikel-Nr.:39
2021
Online
DOI: 10.18154/RWTH-2021-03077
DOI: 10.1145/3434320
URL: https://publications.rwth-aachen.de/record/816245/files/816245.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85099048130
WOS Core Collection: WOS:000679806100039
OpenAlex: W3119972339
Interne Identnummern
RWTH-2021-03077
Datensatz-ID: 816245
Beteiligte Länder
Germany, Switzerland, UK
; 
|
The record appears in these collections: |
PDF