Butler, M.J. and Back, R.J.R. (1994) Applications of Summation and Product Operators in the Refinement Calculus. 6th Nordic Workshop on Programming Theory.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1994
Venue - Dates:
6th Nordic Workshop on Programming Theory, 1994-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250972
URI: http://eprints.soton.ac.uk/id/eprint/250972
PURE UUID: 36516f8e-fe15-49b6-9903-2d97f99bacd8
Catalogue record
Date deposited: 07 Oct 1999
Last modified: 11 Dec 2021 03:10
Export record
Contributors
Author:
M.J. Butler
Author:
R.J.R. Back
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.