Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Leuschel, Michael and Schmalz, Matthias and Voisin, Laurent Proposals for Mathematical Extensions for Event-B. Technical Report. . (Unpublished)
This is the latest version of this item.
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 239Kb |
| Item Type: | Monograph (Technical Report) |
|---|---|
| Subjects: | Event-B > Event-B Theory |
| ID Code: | 216 |
| Deposited By: | Michael Butler |
| Deposited On: | 22 Apr 2010 09:47 |
| Last Modified: | 22 Apr 2010 09:47 |
Available Versions of this Item
- Proposals for Mathematical Extensions for Event-B. (deposited 26 Jan 2009 22:01)
- Proposals for Mathematical Extensions for Event-B. (deposited 22 Apr 2010 09:47) [Currently Displayed]
Repository Staff Only: item control page
