Gravell, A. M. (1990) Minimisation in Formal Specification and Design. Nicholls, J. E. (ed.) Proc. Z User Workshop. pp. 32-45 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1990
Additional Information:
Address: Oxford,1989
Venue - Dates:
Proc. Z User Workshop, 1990-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253152
URI: http://eprints.soton.ac.uk/id/eprint/253152
ISBN: ISBN 3-540-19627-7
PURE UUID: b7ae2661-7b06-4213-912e-3f99f6315cc3
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
A. M. Gravell
Editor:
J. E. Nicholls
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.