"Formal verification of higher-order probabilistic programs: reasoning ..."

Tetsuya Sato et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics