title: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
creator: Jones, C. B.
creator: Pierce, K. G.
subject: Methodology
publisher: Newcastle University 
date: 2010-01
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/282/1/1186.pdf
identifier:   Jones, C. B. and Pierce, K. G.  (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.  Technical Report. Newcastle University .     
relation: http://deploy-eprints.ecs.soton.ac.uk/282/