External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial. Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 25-44, Springer, 2008. [doi]

Authors

Kriangsak Damchoom

This author has not been identified. Look up 'Kriangsak Damchoom' in Google

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

Jean-Raymond Abrial

This author has not been identified. Look up 'Jean-Raymond Abrial' in Google
runs on