Cooper, David and Stepney, Susan and Woodcock, Jim
(2000)
Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement.
Technical report.
Oxford University
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21949)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
|
- Depositors only (login required):