| Original language | English |
|---|---|
| Publication status | Published - 1995 |
Model Conjectures for Z Specifications
J G Hall, J A McDermid, I Toyn
Research output: Contribution to conference › Paper › peer-review
J G Hall, J A McDermid, I Toyn
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 1995 |