Gravell, A. M. (1995) A First Order Refinement Calculus
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: November 1995
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253226
URI: http://eprints.soton.ac.uk/id/eprint/253226
PURE UUID: 96df3b0d-9e9f-491d-8c8d-865c8c297ab7
Catalogue record
Date deposited: 03 May 2000
Last modified: 20 Feb 2024 17:56
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.