Jones, Cliff B and Pierce, Ken G (2008) Splitting atoms with rely/guarantee conditions coupled with data reification. In: ABZ2008. Springer, LNCS, pp. 360-377.
![[img]](../style/images/fileicons/application_pdf.png) | PDF - Published Version Restricted to Registered users only 323Kb |
| Item Type: | Book Section |
|---|---|
| Subjects: | Methodology |
| ID Code: | 176 |
| Deposited By: | Miss Jodi Hossbach |
| Deposited On: | 12 Jan 2010 10:10 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
