Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)
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