creators_name: Butler, Michael
type: conference_item
datestamp: 2008-12-04 11:14:56
lastmod: 2008-12-04 11:14:56
metadata_visibility: show
title: Decomposition Structures for Event-B
ispublished: inpress
subjects: deploy_method_comp
subjects: Refinement
subjects: Event-Bsemantics
full_text_status: none
pres_type: keynote
date: 2009-02
event_title: Integrated Formal Methods iFM2009
event_type: conference
refereed: FALSE
official_url: http://eprints.ecs.soton.ac.uk/16965/
citation:   Butler, Michael  (2009) Decomposition Structures for Event-B.  In: Integrated Formal Methods iFM2009.    (In Press)