Abrial, Jean-Raymond and Butler, Michael and Schmalz, Matthias and Hallerstede, Stefan and Voisin, Laurent Proposals for Mathematical Extensions for Event-B. Technical Report. . (Unpublished)
Preview |
| PDF 142Kb |
Item Type: | Monograph (Technical Report) |
---|
Subjects: | Event-B > Event-B Theory |
---|
ID Code: | 80 |
---|
Deposited By: | Michael Butler |
---|
Deposited On: | 26 Jan 2009 22:01 |
---|
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) [Currently Displayed]
Repository Staff Only: item control page