creators_name: Jones, C. B.
creators_name: Pierce, K. G.
type: monograph
datestamp: 2011-01-31 17:19:46
lastmod: 2011-01-31 17:19:46
metadata_visibility: show
title: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
ispublished: pub
subjects: deploy_method
full_text_status: public
monograph_type: technical_report
date: 2010-01
publisher: Newcastle University 
id_number: CS-TR-1186
institution: Newcastle University
citation:   Jones, C. B. and Pierce, K. G.  (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.  Technical Report. Newcastle University .     
document_url: http://deploy-eprints.ecs.soton.ac.uk/282/1/1186.pdf