%0 Conference Paper %1 conf/popl/BartheGHS17 %A Barthe, Gilles %A Grégoire, Benjamin %A Hsu, Justin %A Strub, Pierre-Yves %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 161-174 %T Coupling proofs are probabilistic product programs. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BartheGHS17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/BartheGHS17, added-at = {2023-08-28T00:00:00.000+0200}, author = {Barthe, Gilles and Grégoire, Benjamin and Hsu, Justin and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2519f9d0c8569327f545555e9070fd8ff/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://www.wikidata.org/entity/Q114614080}, interhash = {3f3c319a746821a8c156bb1f6a02773f}, intrahash = {519f9d0c8569327f545555e9070fd8ff}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {161-174}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Coupling proofs are probabilistic product programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BartheGHS17}, year = 2017 }