Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Rodin archive of a Tree-structured File System) 678Kb |
Official URL: http://eprints.ecs.soton.ac.uk/16050/1/TreeFileSysICFEM2008.pdf
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Event-B > Event-B Examples |
| ID Code: | 22 |
| Deposited By: | Mr Kriangsak Damchoom |
| Deposited On: | 21 Apr 2008 15:57 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
