Hehner, E. C. R. and Gravell, A. M. (1999) Refinement Semantics and Loop Rules. Wing, J. M., Woodcock, J. and Davies, J. (eds.) Proc. FM'99: World Congress on Formal Methods. pp. 1497-1510 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 1999
Additional Information:
Address: Toulouse, France
Venue - Dates:
Proc. FM'99: World Congress on Formal Methods, 1999-08-31
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250891
URI: http://eprints.soton.ac.uk/id/eprint/250891
ISBN: 3-540-66587-0
PURE UUID: 4558791b-e840-487c-8cf3-74e9000a636f
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 08 Jan 2022 14:39
Export record
Contributors
Author:
E. C. R. Hehner
Author:
A. M. Gravell
Editor:
J. M. Wing
Editor:
J. Woodcock
Editor:
J. Davies
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.