Publication [OlmedoGJKKM18] Conditioning in Probabilistic Programming Olmedo, F.; Gretz, F.; Jansen, N.; Kaminski, B. L.; Katoen, J.-P. and McIver, A. In ACM Trans. Program. Lang. Syst., 40: 4:1-4:50, 2018.Downloads: bib
