Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B. Proc. ZB2000: Formal Specification and Development in Z and B. pp. 324-343 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2000
Venue - Dates:
Proc. ZB2000: Formal Specification and Development in Z and B, 2000-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 252948
URI: http://eprints.soton.ac.uk/id/eprint/252948
PURE UUID: 80985c79-ae9b-4268-91cc-0a0967f91244
Catalogue record
Date deposited: 09 Apr 2001
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
M. M. R. Meagher
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.