Linking Event-B and Concurrent Object-Oriented Programs


Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs At Refine 2008 - International Refinement Workshop, Finland. (doi:10.1016/j.entcs.2008.06.008).

Download

[img] PDF refine2008B.pdf - Author's Original
Download (228kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1016/j.entcs.2008.06.008
Additional Information: Event Dates: 27 May 2008
Venue - Dates: Refine 2008 - International Refinement Workshop, Finland, 2008-05-27
Organisations: Electronic & Software Systems
ePrint ID: 266003
Date :
Date Event
May 2008Published
Date Deposited: 27 Jun 2008 08:42
Last Modified: 17 Apr 2017 19:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266003

Actions (login required)

View Item View Item