title: Language and Tool Support for Class and State Machine Refinement in UML-B
creator: Said, Mar Yah
creator: Butler, Michael
creator: Snook, Colin
subject: Tool developments
subject: Event-B
date: 2009-04
type: Rodin Archive
type: NonPeerReviewed
format: text/plain
identifier: http://deploy-eprints.ecs.soton.ac.uk/95/6/readme.txt
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/95/7/UML-B.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/95/8/ATM_120709.zip
identifier:   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]     
relation: http://deploy-eprints.ecs.soton.ac.uk/95/