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.
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 84Kb |
| Item Type: | Conference or Workshop Item (Speech) |
|---|---|
| Subjects: | Event-B Methodology Tool developments Training |
| ID Code: | 261 |
| Deposited By: | Prof A Romanovsky |
| Deposited On: | 07 Dec 2010 14:23 |
| Last Modified: | 09 Dec 2010 15:36 |
Repository Staff Only: item control page
