Butler, Michael and Maamria, Issam (2010) Mathematical Extension in Event-B through the Rodin Theory Component. Technical Report. Deploy Project. (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 103Kb |
| Item Type: | Monograph (Technical Report) |
|---|---|
| Subjects: | Tool developments > Provers Event-B > Event-B Theory |
| ID Code: | 251 |
| Deposited By: | Michael Butler |
| Deposited On: | 27 Oct 2010 14:00 |
| Last Modified: | 27 Oct 2010 14:00 |
Repository Staff Only: item control page
