- Record: found
- Abstract: found
- Book Chapter: found
An Assertion-Based Program Logic for Probabilistic Programs
other
Gilles Barthe ,
Thomas Espitau ,
Marco Gaboardi ,
Benjamin Grégoire ,
Justin Hsu ,
Pierre-Yves Strub
April 14 2018
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references31
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Gossip-based computation of aggregate information
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Limits on the provable consequences of one-way permutations
R. Impagliazzo, S. Rudich (1989)
- Record: found
- Abstract: not found
- Article: not found
Probabilistic predicate transformers
Annabelle McIver, Karen Seidel, Carroll Morgan (1996)