Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio. Towards Algebraic Analysis of Probabilistic Programs. In Luca Moscardelli, editor, Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10-12, 2025. Volume 4039 of CEUR Workshop Proceedings, pages 147-153, CEUR-WS.org, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.