Decomposition Structures for Event-B


Butler, Michael (2009) Decomposition Structures for Event-B At Integrated Formal Methods iFM2009, Springer, LNCS 5423.

Download

[img] PDF butler.pdf - Other
Download (813kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Integrated Formal Methods iFM2009, Springer, LNCS 5423, 2009-02-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 266965
Date :
Date Event
February 2009Published
Date Deposited: 04 Dec 2008 11:11
Last Modified: 17 Apr 2017 18:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266965

Actions (login required)

View Item View Item