Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY Project. (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 4Mb |
| Item Type: | Monograph (Technical Report) |
|---|---|
| Subjects: | Tool developments Event-B > Event-B Examples |
| ID Code: | 137 |
| Deposited By: | Michael Butler |
| Deposited On: | 21 Jul 2009 15:14 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
