creators_name: Snook, Colin
creators_name: Butler, Michael
type: conference_item
datestamp: 2008-10-07 21:02:43
lastmod: 2008-10-07 21:02:43
metadata_visibility: show
title: UML-B: A plug-in for the Event-B tool set
ispublished: pub
subjects: deploy_tooldev_rodinplugins
full_text_status: none
pres_type: paper
date: 2008-09
pagerange: 347
event_title: Abstract State Machines, B and Z, First International Conference ABZ 2008
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/16770/
citation:   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.