"35","UML-B: A plug-in for the Event-B tool set","","http://deploy-eprints.ecs.soton.ac.uk/35/","Snook, Colin and Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Snook, Colin</span> and <span class=\"person_name\">Butler, Michael</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/35/\"><em>UML-B: A plug-in for the Event-B tool set.</em></a>       In: Abstract State Machines, B and Z, First International Conference ABZ 2008.           ","","2008-09"