Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J. (2012) Refining rely-guarantee thinking. Formal Aspects of Computing, (submi . (Submitted)
Full text not available from this repository.
Item Type: | Article |
---|---|
Subjects: | Methodology |
ID Code: | 367 |
Deposited By: | Prof Cliff Jones |
Deposited On: | 13 Feb 2012 10:21 |
Last Modified: | 13 Feb 2012 10:21 |
Repository Staff Only: item control page