Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2006) An open extensible tool environment for Event-B. Liu, Zhiming and He, Jifeng (eds.) ICFEM 2006, Macau.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: June 2006
Additional Information:
Event Dates: November 2006
Venue - Dates:
ICFEM 2006, Macau, 2006-11-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262711
URI: http://eprints.soton.ac.uk/id/eprint/262711
PURE UUID: 0f9d2549-c9e9-4dc1-b740-9d18314dc3f0
Catalogue record
Date deposited: 14 Jun 2006
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Jean-Raymond Abrial
Author:
Michael Butler
Author:
Stefan Hallerstede
Author:
Laurent Voisin
Editor:
Zhiming Liu
Editor:
Jifeng He
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.