A Deductive Verification Infrastructure for Probabilistic Programs
Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1310697930
- Titel
-
A Deductive Verification Infrastructure for Probabilistic Programs
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
- Autor(en)
-
- Schroer, Philipp
- Batz, Kevin
- Kaminski, Benjamin Lucien
- Katoen, Joost-Pieter
- Matheja, Christoph
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2023]
- Jahr
- Erscheinungsdatum: 2023
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2023-10693
- Online
- https://doi.org/10.18154/RWTH-2023-10693
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: 10.1145/3622870
- Enthalten in: In: 10.1145/3622870
- Enthalten in: In: 10.1145/3622870
- Stand
- 18.01.2025 17:25
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
