Iliasov, Alexei (2010) Tutorial on the modularization 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 506Kb |
| Item Type: | Conference or Workshop Item (Lecture) |
|---|---|
| Subjects: | Event-B Methodology Tool developments Training |
| ID Code: | 263 |
| Deposited By: | Prof A Romanovsky |
| Deposited On: | 07 Dec 2010 14:29 |
| Last Modified: | 09 Dec 2010 15:36 |
Repository Staff Only: item control page
