Advanced weakest precondition calculi for probabilistic programs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Kaminski, Benjamin Lucien

Journal title: Aachen 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-01829 = Dissertation, RWTH Aachen University, 2019

Journal number: 1

Journal publisher: RWTH Aachen University, Germany

Published year: 2019

DOI identifier: 10.18154/RWTH-2019-01829