Henderson, P. (1998) From Formal Models to Validated Components in an Evolving System
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: 1998
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250523
URI: http://eprints.soton.ac.uk/id/eprint/250523
PURE UUID: 6475cfb5-1548-4c1c-9846-85e33f8a264a
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 20 Feb 2024 17:59
Export record
Contributors
Author:
P. Henderson
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.