Hartel, P. H. (2000) Formalising Java safety -- An overview. Domingo-Ferrer, J. and Watson, A. (eds.) 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CAR DIS). pp. 115-134 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 2000
Additional Information:
Address: Bristol, UK
Venue - Dates:
4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CAR DIS), 2000-08-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253022
URI: http://eprints.soton.ac.uk/id/eprint/253022
ISBN: 0-7923-7953-5
PURE UUID: b485fc34-358b-439f-a498-4750524205f9
Catalogue record
Date deposited: 28 Jan 2001
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
P. H. Hartel
Editor:
J. Domingo-Ferrer
Editor:
A. Watson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.