|
|
|
@@ -1056,8 +1056,8 @@ inproceedings{HHRRW14, |
|
|
|
@inbook{fopps-chapter, |
|
|
|
titLe = {Probabilistic Couplings from Program Logics}, |
|
|
|
booktitle = {Foundations of Probabilistic Programming Languages}, |
|
|
|
author = {Hsu, Justin and |
|
|
|
Barthe, Gilles}, |
|
|
|
author = {Barthe, Gilles and |
|
|
|
Hsu, Justin}, |
|
|
|
editor = {Barthe, Gilles and |
|
|
|
Katoen, Joost-Pieter and |
|
|
|
Silva, Alexandra}, |
|
|
|
|
