Advanced weakest precondition calculi for probabilistic programs

Aachen (2019) [Doktorarbeit]

Seite(n): 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Kaminski, Benjamin Lucien

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-01829