"251","Mathematical Extension in Event-B through the Rodin Theory Component ","","http://deploy-eprints.ecs.soton.ac.uk/251/","Butler, Michael and Maamria, Issam","UNSPECIFIED","       <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Maamria, Issam</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/251/\"><em>Mathematical Extension in Event-B through the Rodin Theory Component.</em></a>       Technical Report.     Deploy Project.         (Unpublished)   ","mjb@ecs.soton.ac.uk,","2010-06-08"