creators_name: Abrial, Jean-Raymond
creators_name: Butler, Michael
creators_name: Hallerstede, Stefan
creators_name: Voisin, Laurent
type: conference_item
datestamp: 2008-10-07 21:10:26
lastmod: 2008-10-07 21:10:26
metadata_visibility: show
title: A Roadmap for the Rodin Toolset
ispublished: pub
subjects: deploy_tooldev
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/16769/
citation:   Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent  (2008) A Roadmap for the Rodin Toolset.  In: Abstract State Machines, B and Z, First International Conference ABZ 2008.