Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B. Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2013
Venue - Dates:
Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday, 2013-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 354288
URI: http://eprints.soton.ac.uk/id/eprint/354288
PURE UUID: 1bf26628-edcb-42b1-8acb-8737a5d6d81f
Catalogue record
Date deposited: 05 Jul 2013 10:54
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Issam Maamria
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.