Klinkenberg, L;
Batz, K;
Kaminski, BL;
Katoen, JP;
Moerman, J;
Winkler, T;
(2021)
Generating Functions for Probabilistic Programs.
In:
Logic-Based Program Synthesis and Transformation.
(pp. pp. 231-248).
Springer