Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: April 2001
Venue - Dates:
IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01), 2001-04-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 254461
URI: http://eprints.soton.ac.uk/id/eprint/254461
PURE UUID: b0c7d08e-798b-4361-908d-ccf9a9047e1c
Catalogue record
Date deposited: 29 Mar 2001
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Manoranjan Satpathy
Author:
Rachel Harrison
Author:
Colin Snook
Author:
Michael Butler
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.