"22","Modelling and proof of a Tree-structured File System","","http://deploy-eprints.ecs.soton.ac.uk/22/","Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond","UNSPECIFIED","       <span class=\"person_name\">Damchoom, Kriangsak</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Abrial, Jean-Raymond</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/22/\"><em>Modelling and proof of a Tree-structured File System.</em></a>       In: ICFEM 2008.         (In Press)   ","","2008-10"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>