creators_name: Jones, Cliff B
creators_name: Pierce, Ken G
creators_id: Cliff.Jones@ncl.ac.uk
creators_id: k.g.pierce@ncl.ac.uk
type: book_section
datestamp: 2010-01-12 10:10:28
lastmod: 2010-04-19 15:05:59
metadata_visibility: show
title: Splitting atoms with rely/guarantee conditions coupled with data reification.
ispublished: pub
subjects: deploy_method
full_text_status: restricted
date: 2008
volume: 5238
publisher: Springer, LNCS
pagerange: 360-377
refereed: FALSE
book_title: ABZ2008
citation:   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.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/176/1/JonesPierce08.pdf