Gravell, A. M. and Henderson, P (1991) Why Execute Formal Specifications? Neumann, B. De, Simpson, D. and Slater, G. (eds.) Mathematical Structures for Software Engineering. pp. 165-184 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1991
Venue - Dates:
Mathematical Structures for Software Engineering, 1991-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253163
URI: http://eprints.soton.ac.uk/id/eprint/253163
ISBN: ISBN 0-19-853627-5
PURE UUID: 7038153c-f224-4971-a55b-92707c9bb88f
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
A. M. Gravell
Author:
P Henderson
Editor:
B. De Neumann
Editor:
D. Simpson
Editor:
G. Slater
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.