Damchoom, Kriangsak, Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System in Event-B and Rodin. ICFEM 2008. pp. 25-44 . (doi:10.1007/978-3-540-88194-0_5).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: October 2008
Additional Information:
Springer LNCS 5256
Venue - Dates:
ICFEM 2008, 2008-10-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266050
URI: http://eprints.soton.ac.uk/id/eprint/266050
ISBN: 978-3-540-88193-3
PURE UUID: 261daa51-98c5-4811-985f-7f9aafa7f4e2
Catalogue record
Date deposited: 04 Jul 2008 08:32
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Kriangsak Damchoom
Author:
Michael Butler
Author:
Jean-Raymond Abrial
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.