# Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation
**Wikidata**: [eu_cordis:787914](https://www.wikidata.org/wiki/eu_cordis:787914)  
**Source**: https://4ort.xyz/entity/formal-reasoning-about-probabilistic-programs-breaking-new-ground-for-automation


## References

1. Source