Formal Methods and Open Systems
Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16, 183-188.
Download
Full text not available from this repository.
| Item Type: | Article |
|---|---|
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 253225 |
| Date Deposited: | 03 May 2000 |
| Last Modified: | 02 Mar 2012 12:20 |
| Contributors: | Gravell, A. M. (Author) Pratten, C. H. (Author) |
| Date: | 1995 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/253225 |
Actions (login required)
 |
View Item |
