Advanced weakest precondition calculi for probabilistic programs

Aachen (2019) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme

Authors

Selected Authors

Kaminski, Benjamin Lucien

Identifier

  • REPORT NUMBER: RWTH-2019-01829