The Refinement Calculator: Proof Support for Program Refinement


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.) At Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. , pp. 40-61.

Download

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

Actions (login required)

View Item View Item