ZB 2005: Formal Specification and Development in Z and B (Q5703813)
From MaRDI portal
scientific article; zbMATH DE number 2227875
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ZB 2005: Formal Specification and Development in Z and B |
scientific article; zbMATH DE number 2227875 |
Statements
ZB 2005: Formal Specification and Development in Z and B (English)
0 references
10 November 2005
0 references
probability
0 references
program correctness
0 references
generalised substitutions
0 references
weakest preconditions
0 references
B
0 references
randomised algorithms
0 references
refinement
0 references
