Butler, M. J., Grundy, J., Långbacka, T., Ruksenas, R. and Wright, J. von (1997) The Refinement Calculator: Proof Support for Program Refinement. Groves, L. and Reeves, S. (eds.) Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 40-61 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1997
Additional Information:
Address: Wellington, New Zealand
Venue - Dates:
Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1997-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250550
URI: http://eprints.soton.ac.uk/id/eprint/250550
ISBN: ISBN 981-3083-31-X
PURE UUID: d7486726-8385-4763-a16c-c47d51ed95af
Catalogue record
Date deposited: 17 Jul 2000
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
J. Grundy
Author:
T. Långbacka
Author:
R. Ruksenas
Author:
J. von Wright
Editor:
L. Groves
Editor:
S. Reeves
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.