Gravell, A. M. (1992) Constructive Refinement of First Order Specifications. Proc. Proceedings of the 5th BCS FACS Refinement Workshop. pp. 181-210 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1992
Additional Information:
Address: London,UK
Venue - Dates:
Proc. Proceedings of the 5th BCS FACS Refinement Workshop, 1992-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253177
URI: http://eprints.soton.ac.uk/id/eprint/253177
PURE UUID: 844c2cf4-caa3-4426-9b91-8f34cff9d761
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
A. M. Gravell
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.