Templates for Event-B Code Generation


Edmunds, Andrew (2014) Templates for Event-B Code Generation At ABZ 2014.

Download

[img] PDF Templates4CG.pdf - Other
Download (241kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: ABZ 2014, 2014-01-01
Organisations: Electronic & Software Systems
ePrint ID: 364265
Date :
Date Event
2014Accepted/In Press
Date Deposited: 11 Apr 2014 08:41
Last Modified: 17 Apr 2017 13:56
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/364265

Actions (login required)

View Item View Item