"268","Training materials on the flow tool (release - Jan 2011) ","The Flows plugin is an extension of the Event B Rodin platform. Its purpose is to allow a modeller to verify a range of properties related to the order of event enabling in an Event B model. The tool offers a simple graphical notation and is meant to complement the core Event B development method.","http://deploy-eprints.ecs.soton.ac.uk/268/","Iliasov, Alexei","UNSPECIFIED","       <span class=\"person_name\">Iliasov, Alexei</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/268/\"><em>Training materials on the flow tool (release - Jan 2011).</em></a>       [Teaching Resource]         (Unpublished)   ","\"Alexei Iliasov\" <Alexei.Iliasov@newcastle.ac.uk>",""
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>