Program Derivation using the Refinement Calculator


Butler, M. J. and Långbacka, T., (1996) Program Derivation using the Refinement Calculator Wright, J. von, Grundy, J. and Harrison, J. (eds.) At Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. , pp. 93-108.

Download

[img] Postscript dsse-tr-96-3.ps - Other
Download (194kB)
Item Type: Conference or Workshop Item (Paper)
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
ePrint ID: 250578
Date :
Date Event
1996Published
Date Deposited: 17 Jul 2000
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250578

Actions (login required)

View Item View Item