Kaminski, Benjamin Lucien; (2019) Advanced weakest precondition calculi for probabilistic programs. Doctoral thesis (Ph.D), RWTH Aachen University.