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
