Supporting Reuse of Event-B Developments through Generic Instantiation


Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation At Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Brazil. 09 - 12 Dec 2009. (doi:10.1007/978-3-642-10373-5_24).

Download

[img] PDF supporting_reuse_EventB.pdf - Other
Download (825kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-642-10373-5_24
Additional Information: Event Dates: December 9-12, 2009
Venue - Dates: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Brazil, 2009-12-09 - 2009-12-12
Organisations: Electronic & Software Systems
ePrint ID: 268420
Date :
Date Event
2009Published
Date Deposited: 27 Jan 2010 16:37
Last Modified: 23 Feb 2017 09:34
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268420

Actions (login required)

View Item View Item