Volume: Vol-4039 ICTCS 2025 | Year: 2025

Paper: « paper11 | paper12 | paper10 »

Towards Algebraic Analysis of Probabilistic Programs

• Luisa Collodi
• Michele Boreale
• Alessandro Pompa Di Gregorio

147-153 PDF