Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. Refine 2008 - International Refinement Workshop, Turku, Finland. (doi:10.1016/j.entcs.2008.06.008).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: May 2008
Additional Information:
Event Dates: 27 May 2008
Venue - Dates:
Refine 2008 - International Refinement Workshop, Turku, Finland, 2008-05-27
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266003
URI: http://eprints.soton.ac.uk/id/eprint/266003
PURE UUID: 3aee371e-bd3f-4570-af33-1aba02026c1d
Catalogue record
Date deposited: 27 Jun 2008 08:42
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Andrew Edmunds
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.