Abrial, Jean-Raymond and Metayer, Christophe and Voisin, Laurent (2009) Rodin Manual and Language Definition. Manual. RODIN Project. (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF (User Manual) 937Kb | |
| PDF (Mathematical Language (outdated)) 291Kb | |
| PDF (Event-B notation) 101Kb | |
| PDF (Mathematical Language V2) 292Kb |
| Item Type: | Monograph (Manual) |
|---|---|
| Subjects: | Training > Rodin tool Training > Event-B |
| ID Code: | 11 |
| Deposited By: | Michael Butler |
| Deposited On: | 12 Feb 2008 21:54 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
