Butler, Michael, Colley, John, Edmunds, Andrew, Snook, Colin, Evans, Neil, Grant, Neil and Marshall, Helen (2013) Modelling and Refinement in CODA. Refine. pp. 36-51 .
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2013
Venue - Dates:
Refine, 2013-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 353718
URI: http://eprints.soton.ac.uk/id/eprint/353718
PURE UUID: 2e6eab8c-3864-4729-8b33-6641b476ac51
Catalogue record
Date deposited: 14 Jun 2013 09:44
Last modified: 09 Jan 2022 03:08
Export record
Contributors
Author:
Michael Butler
Author:
John Colley
Author:
Andrew Edmunds
Author:
Colin Snook
Author:
Neil Evans
Author:
Neil Grant
Author:
Helen Marshall
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.