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. 6th Nordic Workshop on Programming Theory

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250972
Date Deposited: 07 Oct 1999
Last Modified: 27 Mar 2014 19:52
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250972

Actions (login required)

View Item View Item