Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. Wright, J. von, Grundy, J. and Harrison, J. (eds.) Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. pp. 93-108 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1996
Additional Information:
Address: Turku, Finland
Venue - Dates:
Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125, 1996-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250578
URI: http://eprints.soton.ac.uk/id/eprint/250578
ISBN: ISBN 3-540-61587-3
PURE UUID: 4540956d-8a8f-4ff9-a4f3-2130f62360e5
Catalogue record
Date deposited: 17 Jul 2000
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
T. Långbacka
Editor:
J. von Wright
Editor:
J. Grundy
Editor:
J. Harrison
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.