# Coupling proofs are probabilistic product programs

> Research article (ACM SIGPLAN Notices, 2017) · cited 13× · AI/ML

**Wikidata**: [openalex:W4243039964](https://www.wikidata.org/wiki/openalex:W4243039964)  
**Source**: https://4ort.xyz/entity/coupling-proofs-are-probabilistic-product-programs