Foundations of probabilistic programming

Barthe, Gilles (Editor); Katoen, Joost-Pieter (Editor); Silva, Alexandra (Editor)

Cambridge, United Kingdom : Cambridge University Press (2020, 2021)
Book

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]