Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. Jifeng, He, Cooke, J. and Wallace, P. (eds.) BCS-FACS Refinement Workshop.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1996
Additional Information:
Address: Bath, England
Venue - Dates:
BCS-FACS Refinement Workshop, 1996-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250576
URI: http://eprints.soton.ac.uk/id/eprint/250576
ISBN: ISBN 3-540-76104-7
PURE UUID: 78638c65-60c3-4c00-a558-1f5ee9b384bd
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Editor:
He Jifeng
Editor:
J. Cooke
Editor:
P. Wallace
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.