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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 250972 |
| Date Deposited: | 07 Oct 1999 |
| Last Modified: | 02 Mar 2012 13:39 |
| Contributors: | Butler, M.J. (Author) Back, R.J.R. (Author) |
| Date: | 1994 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250972 |
Actions (login required)
 |
View Item |
