Developments in Code Generation Tools for Event-B


Edmunds, Andrew (2013) Developments in Code Generation Tools for Event-B At 4th Rodin User and Developer Workshop.

Download

[img] PDF rudw2013.pdf - Other
Download (103kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 4th Rodin User and Developer Workshop, 2013-01-01
Organisations: Electronic & Software Systems
ePrint ID: 353632
Date :
Date Event
2013Published
Date Deposited: 12 Jun 2013 09:49
Last Modified: 17 Apr 2017 15:23
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/353632

Actions (login required)

View Item View Item