Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive]
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Rodin archive) 2008Kb | |
![[img]](../style/images/fileicons/text_plain.png) | Plain Text (Readme) 711b | |
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 400Kb |
| Item Type: | Rodin Archive |
|---|---|
| Subjects: | Tool developments Event-B |
| ID Code: | 95 |
| Deposited By: | Mr Kriangsak Damchoom |
| Deposited On: | 02 May 2009 10:53 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
