creators_name: Said, Mar Yah
creators_name: Butler, Michael
creators_name: Snook, Colin
creators_id: mys05r@ecs.soton.ac.uk
creators_id: mjb@ecs.soton.ac.uk
creators_id: cfs@ecs.soton.ac.uk
type: rodin_archive
datestamp: 2009-05-02 09:53:06
lastmod: 2010-04-19 15:05:54
metadata_visibility: show
title: Language and Tool Support for Class and State Machine Refinement in UML-B
subjects: deploy_tooldev
subjects: Event-Bsemantics
full_text_status: public
date: 2009-04
date_type: submitted
citation:   Said, Mar Yah and Butler, Michael and Snook, Colin  (2009) Language and Tool Support for Class and State Machine Refinement in UML-B.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/95/6/readme.txt
document_url: http://deploy-eprints.ecs.soton.ac.uk/95/7/UML-B.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/95/8/ATM_120709.zip