Batz, K; Kaminski, BL; Katoen, J-P; Matheja, C; Noll, T; (2019) Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs. Proceedings of the ACM on Programming Languages , 3 , Article 34. 10.1145/3290347.