Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software-Concepts and Tools, 16, 183-188.
Record type:
Article
This record has no associated files available for download.
More information
Published date: 1995
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253225
URI: http://eprints.soton.ac.uk/id/eprint/253225
PURE UUID: 12bfcc97-b191-4d06-89ae-b7fefd195b6a
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:32
Export record
Contributors
Author:
A. M. Gravell
Author:
C. H. Pratten
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.