An Assertion-Based Program Logic for Probabilistic Programs. - Barthe, Gilles; Espitau, Thomas; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves (2018)