Gondal, Ali (2011) Capability and potential for formal feature-oriented reuse in Event-B. (Submitted)
Record type:
Other
More information
Submitted date: 31 August 2011
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 272761
URI: http://eprints.soton.ac.uk/id/eprint/272761
PURE UUID: 5e3a95a2-2e36-45df-bd1b-a1caeee1a857
Catalogue record
Date deposited: 12 Sep 2011 12:29
Last modified: 14 Mar 2024 10:09
Export record
Contributors
Author:
Ali Gondal
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.