Kriangsak Damchoom

发表

An incremental refinement approach to a development of a flash-based file system in Event-B

Kriangsak Damchoom, Kriangsak Damchoom, 2010 .

Modelling and Proof of a Tree-Structured File System in Event-B and Rodin

Michael J. Butler, Jean-Raymond Abrial, Kriangsak Damchoom, 2008, ICFEM.