A Weakest Precondition Semantics for Z (Q3842954)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Weakest Precondition Semantics for Z |
scientific article |
Statements
A Weakest Precondition Semantics for Z (English)
0 references
20 August 1998
0 references
Z specifications
0 references