title: Modelling and proof of a Tree-structured File System
creator: Damchoom, Kriangsak
creator: Butler, Michael
creator: Abrial, Jean-Raymond
subject: Event-B Examples
date: 2008-10
type: Conference or Workshop Item
type: PeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/22/1/TreeFileSys.zip
relation: http://eprints.ecs.soton.ac.uk/16050/1/TreeFileSysICFEM2008.pdf
identifier:   Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond  (2008) Modelling and proof of a Tree-structured File System.  In: ICFEM 2008.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/22/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>