Iliasov, Alexei  (2010) Tutorial on the Flow plugin for Event-B.  In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010 , November 8th-9th 2010,  Natal, Brazil.     

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