Experiment D: Application of Z to IN-Services Test Case
Experiment D: Application of Z to IN-Services Test Case
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
McDonnell, Eoin
7763c886-3234-41a6-8dcd-6c9eaa6c0252
1993
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
McDonnell, Eoin
7763c886-3234-41a6-8dcd-6c9eaa6c0252
Butler, Michael and McDonnell, Eoin
(1993)
Experiment D: Application of Z to IN-Services Test Case
Record type:
Monograph
(Project Report)
This record has no associated files available for download.
More information
Published date: 1993
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253694
URI: http://eprints.soton.ac.uk/id/eprint/253694
PURE UUID: 558fab93-66c1-4351-bb56-94e3ff318842
Catalogue record
Date deposited: 17 Jul 2000
Last modified: 21 Feb 2024 02:35
Export record
Contributors
Author:
Michael Butler
Author:
Eoin McDonnell
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.
View more statistics