Dalvandi, Mohammad Sadegh, Butler, Michael and Salehi Fathabadi, Asieh (2019) SEB-CG: Code generation tool with algorithmic refinement support for Event-B. Practical Formal Verification for Software Dependability: co-located with the Formal Methods 2019 (FM'19), Porto, Portugal. 07 Oct 2019.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2019
Venue - Dates:
Practical Formal Verification for Software Dependability: co-located with the Formal Methods 2019 (FM'19), Porto, Portugal, 2019-10-07 - 2019-10-07
Identifiers
Local EPrints ID: 435270
URI: https://eprints.soton.ac.uk/id/eprint/435270
PURE UUID: 6f7f2430-6808-4380-8c48-5fc7979fb23b
Catalogue record
Date deposited: 29 Oct 2019 17:30
Last modified: 30 Oct 2019 01:39
Export record
Contributors
Author:
Mohammad Sadegh Dalvandi
Author:
Michael Butler
Author:
Asieh Salehi Fathabadi
University divisions
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.