Alexandra Silva

Foundations of Probabilistic Programming

Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva