TY  - UNPB
ID  - deploy268
UR  - http://deploy-eprints.ecs.soton.ac.uk/268/
A1  - Iliasov, Alexei
TI  - Training materials on the flow tool (release - Jan 2011) 
N2  - 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.
AV  - public
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>