Derrick, John, Boiten, Eerke A. and Reeves, Steve (eds.) (2013) Proceedings 16th International Refinement Workshop , vol. 115, EPTCS
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2013
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 353719
URI: http://eprints.soton.ac.uk/id/eprint/353719
PURE UUID: 6ab62de0-e982-46a9-84b3-b7987944ee3b
Catalogue record
Date deposited: 14 Jun 2013 09:49
Last modified: 11 Dec 2021 02:19
Export record
Contributors
Editor:
John Derrick
Editor:
Eerke A. Boiten
Editor:
Steve Reeves
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.