title: Splitting atoms with rely/guarantee conditions coupled with data reification.
creator: Jones, Cliff B
creator: Pierce, Ken G
subject: Methodology
publisher: Springer, LNCS
date: 2008
type: Book Section
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/176/1/JonesPierce08.pdf
identifier:   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.      
relation: http://deploy-eprints.ecs.soton.ac.uk/176/