Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin (2016) Extending Code Generation to Support Platform-Independent Event-B Models. Rodin Developer Workshop, 2016. p. 21 .
Record type:
Conference or Workshop Item
(Paper)
Text
Proceedings of the 6th Rodin User and Developer Workshop, 2016
- Version of Record
Restricted to Repository staff only
More information
Published date: 2016
Venue - Dates:
Rodin Developer Workshop, 2016, 2016-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 403135
URI: http://eprints.soton.ac.uk/id/eprint/403135
PURE UUID: 2a04f89c-7058-4544-b728-9dd58404270f
Catalogue record
Date deposited: 22 Nov 2016 11:23
Last modified: 16 Mar 2024 03:25
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
Author:
Colin Snook
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.