Performing Algorithmic Refinement before Data Refinement in B


Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B At Proc. ZB2000: Formal Specification and Development in Z and B. , pp. 324-343.

Download

[img] Postscript dsse-tr-2000-5.ps - Other
Download (200kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Proc. ZB2000: Formal Specification and Development in Z and B, 2000-09-01
Organisations: Electronic & Software Systems
ePrint ID: 252948
Date :
Date Event
September 2000Published
Date Deposited: 09 Apr 2001
Last Modified: 17 Apr 2017 23:27
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252948

Actions (login required)

View Item View Item