Templates for Event-B Code Generation
Templates for Event-B Code Generation
Edmunds, Andrew
5d6da190-9621-44a5-9989-ca98a213928f
Edmunds, Andrew
5d6da190-9621-44a5-9989-ca98a213928f
Edmunds, Andrew
(2014)
Templates for Event-B Code Generation.
ABZ 2014.
(In Press)
Record type:
Conference or Workshop Item
(Paper)
Text
Templates4CG.pdf
- Other
More information
Accepted/In Press date: 2014
Venue - Dates:
ABZ 2014, 2014-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 364265
URI: http://eprints.soton.ac.uk/id/eprint/364265
PURE UUID: 40c1a8a1-95f8-49ee-8859-adfaee1dcdce
Catalogue record
Date deposited: 11 Apr 2014 08:41
Last modified: 14 Mar 2024 16:32
Export record
Contributors
Author:
Andrew Edmunds
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.
View more statistics