Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 146Kb | |
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Rodin Archive of Well-Ordering Theorem) 44Kb |
Abstract
Proof of Well-ordering theorem in Rodin
| Item Type: | Rodin Archive |
|---|---|
| Subjects: | Methodology > Proof and model checking Event-B > Event-B Examples |
| ID Code: | 138 |
| Deposited By: | Michael Butler |
| Deposited On: | 22 Jul 2009 18:23 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
