title: UML-B: A plug-in for the Event-B tool set
creator: Snook, Colin
creator: Butler, Michael
subject: Rodin plug-ins
date: 2008-09
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/16770/
identifier:   Snook, Colin and Butler, Michael  (2008) UML-B: A plug-in for the Event-B tool set.  In: Abstract State Machines, B and Z, First International Conference ABZ 2008.     
relation: http://deploy-eprints.ecs.soton.ac.uk/35/