Formalising Java safety -- An overview
Hartel, P. H. (2000) Formalising Java safety -- An overview. 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CAR DIS) Kluwer Academic Publishers, Boston, 115-134.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Bristol, UK |
| ISBNs: | 0792379535 |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science |
| Item ID: | 253022 |
| Date Deposited: | 28 Jan 2001 |
| Last Modified: | 02 Mar 2012 12:39 |
| Contributors: | Hartel, P. H. (Author) Domingo-Ferrer, J. (Editor) Watson, A. (Editor) |
| Date: | September 2000 |
| Additional Information: | Address: Bristol, UK |
| Status: | Published |
| Publisher: | Kluwer Academic Publishers, Boston |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/253022 |
Actions (login required)
 |
View Item |
