| Original language | Undefined/Unknown |
|---|---|
| Publication status | Published - 1 Dec 2002 |
Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement
David Cooper, Susan Stepney, Jim Woodcock
Research output: Working paper