?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Training+materials+on+the+flow+tool+(release+-+Jan+2011)+&rft.creator=Iliasov%2C+Alexei&rft.subject=Methodology&rft.subject=Tool+developments&rft.subject=Rodin+plug-ins&rft.subject=Training&rft.description=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.&rft.type=Teaching+Resource&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F268%2F1%2Fflows-tool-.pdf&rft.identifier=++Iliasov%2C+Alexei+++Training+materials+on+the+flow+tool+(release+-+Jan+2011).++%5BTeaching+Resource%5D++++(Unpublished)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F268%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>