Gravell, A. M. (1991) Specialising Abstract Programs. Morris, J. M. and Shaw, R. C. (eds.) Proc. Proceedings of the 4th Refinement Workshop. pp. 34-50 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1991
Venue - Dates:
Proc. Proceedings of the 4th Refinement Workshop, 1991-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253164
URI: http://eprints.soton.ac.uk/id/eprint/253164
ISBN: ISBN 3-540-19657-9
PURE UUID: 0c34f22e-7770-49fd-b881-a0c7ba28f6e6
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
A. M. Gravell
Editor:
J. M. Morris
Editor:
R. C. Shaw
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.