Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering Journal, 11 (2), 104-110.
Record type:
Article
This record has no associated files available for download.
More information
Published date: March 1996
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250586
URI: http://eprints.soton.ac.uk/id/eprint/250586
ISSN: 0268-6961
PURE UUID: 1a53172b-21c2-45a2-b733-6c0ffe44bbce
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 07 Jan 2022 21:08
Export record
Contributors
Author:
A. M. Gravell
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.