No label defined (Q4436971)
From MaRDI portal
scientific article; zbMATH DE number 2013586
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2013586 |
Statements
4 December 2003
0 references
Probability
0 references
program correctness
0 references
generalised substitutions
0 references
weakest preconditions
0 references
the B Method
0 references
probabilistic algorithms
0 references
