title: A Roadmap for the Rodin Toolset
creator: Abrial, Jean-Raymond
creator: Butler, Michael
creator: Hallerstede, Stefan
creator: Voisin, Laurent
subject: Tool developments
date: 2008-09
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/16769/
identifier:   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.     
relation: http://deploy-eprints.ecs.soton.ac.uk/37/