Books by Joost-Pieter Katoen

📖

Foundations of Probabilistic Programming Probabilistic programming