Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises. [DEPLOY Deliverable]
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 101Kb | |
| PDF 140Kb | |
| PDF 116Kb | |
| PDF 123Kb | |
| PDF 61Kb | |
| PDF 68Kb |
| Item Type: | DEPLOY Deliverable |
|---|---|
| Subjects: | Training > Rodin tool Event-B > Event-B Theory Training > Event-B Event-B > Event-B Examples |
| ID Code: | 55 |
| Deposited By: | Thai Son Hoang |
| Deposited On: | 25 Dec 2008 13:13 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
