creators_name: Butler, Michael
type: book_section
datestamp: 2008-11-12 18:08:57
lastmod: 2010-04-19 15:05:51
metadata_visibility: show
title: Incremental Design of Distributed Systems with Event-B
ispublished: inpress
subjects: Refinement
subjects: deploy_method_comp
full_text_status: public
date: 2008-11
publication: Marktoberdorf Summer School 2008 Lecture Notes
publisher: IoS
refereed: FALSE
book_title: Marktoberdorf Summer School 2008 Lecture Notes
official_url: http://eprints.ecs.soton.ac.uk/16910/
citation:   Butler, Michael  (2008) Incremental Design of Distributed Systems with Event-B.   In:  Marktoberdorf Summer School 2008 Lecture Notes.   IoS.     (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/49/2/marktoberdorf2.pdf