Applications of Summation and Product Operators in the Refinement Calculus


Butler, M.J. and Back, R.J.R. (1994) Applications of Summation and Product Operators in the Refinement Calculus At 6th Nordic Workshop on Programming Theory.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: 6th Nordic Workshop on Programming Theory, 1994-01-01
Organisations: Electronic & Software Systems
ePrint ID: 250972
Date :
Date Event
1994Published
Date Deposited: 07 Oct 1999
Last Modified: 17 Apr 2017 23:46
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250972

Actions (login required)

View Item View Item