"243","An Incremental Refinement Approach to a Development of Flash  File System in Event-B","","http://deploy-eprints.ecs.soton.ac.uk/243/","Damchoom, Kriangsak","UNSPECIFIED","       <span class=\"person_name\">Damchoom, Kriangsak</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/243/\"><em>An Incremental Refinement Approach to a Development of Flash&#13; File System in Event-B.</em></a>       [Rodin Archive]           ","kd06r@ecs.soton.ac.uk",""