Specialising Abstract Programs
Gravell, A. M. (1991) Specialising Abstract Programs. Proc. Proceedings of the 4th Refinement Workshop Springer-Verlag, Berlin, 34-50.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| ISBNs: | 3540196579 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 253164 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 02 Mar 2012 14:03 |
| Contributors: | Gravell, A. M. (Author) Morris, J. M. (Editor) Shaw, R. C. (Editor) |
| Date: | 1991 |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/253164 |
Actions (login required)
 |
View Item |
