"37","A Roadmap for the Rodin Toolset","","http://deploy-eprints.ecs.soton.ac.uk/37/","Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent","UNSPECIFIED","       <span class=\"person_name\">Abrial, Jean-Raymond</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Hallerstede, Stefan</span> and <span class=\"person_name\">Voisin, Laurent</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/37/\"><em>A Roadmap for the Rodin Toolset.</em></a>       In: Abstract State Machines, B and Z, First International Conference ABZ 2008.           ","","2008-09"