An assertion-based program logic for probabilistic programs (Q2323970)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An assertion-based program logic for probabilistic programs |
scientific article |
Statements
An assertion-based program logic for probabilistic programs (English)
0 references
13 September 2019
0 references
