Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives. [DEPLOY Deliverable]
ZIP Archive 56Kb | |
ZIP Archive 89Kb | |
ZIP Archive 11Kb | |
ZIP Archive 15Kb | |
ZIP Archive 18Kb | |
ZIP Archive 43Kb | |
ZIP Archive 49Kb | |
ZIP Archive 82Kb | |
ZIP Archive 19Kb | |
ZIP Archive 22Kb | |
ZIP Archive 24Kb | |
ZIP Archive 23Kb |
Item Type: | DEPLOY Deliverable |
---|---|
Subjects: | Training > Rodin tool Event-B > Event-B Theory Training > Event-B Event-B > Event-B Examples |
ID Code: | 56 |
Deposited By: | Thai Son Hoang |
Deposited On: | 25 Dec 2008 13:23 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page