Practical Theory Extension in Event-B


Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B At Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday.

Download

[img] PDF paper_19-1.pdf - Other
Download (253kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday, 2013-09-01
Organisations: Electronic & Software Systems
ePrint ID: 354288
Date :
Date Event
September 2013Published
Date Deposited: 05 Jul 2013 10:54
Last Modified: 17 Apr 2017 15:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/354288

Actions (login required)

View Item View Item