| Original language | English |
|---|---|
| Pages | 213-229 |
| Publication status | Published - 1994 |
Towards a Z Method: Axiomatic Specification in Z
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Pages | 213-229 |
| Publication status | Published - 1994 |