title: Incremental Design of Distributed Systems with Event-B
creator: Butler, Michael
subject: Refinement
subject: Composition and reuse
publisher: IoS
date: 2008-11
type: Book Section
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/49/2/marktoberdorf2.pdf
relation: http://eprints.ecs.soton.ac.uk/16910/
identifier:   Butler, Michael  (2008) Incremental Design of Distributed Systems with Event-B.   In:  Marktoberdorf Summer School 2008 Lecture Notes.   IoS.     (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/49/