Extending Code Generation to Support Platform-Independent Event-B Models


Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin (2016) Extending Code Generation to Support Platform-Independent Event-B Models At Rodin Developer Workshop, 2016. , p. 21.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Rodin Developer Workshop, 2016, 2016-01-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 403135
Date :
Date Event
2016Published
Date Deposited: 22 Nov 2016 11:23
Last Modified: 17 Apr 2017 00:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/403135

Actions (login required)

View Item View Item