Formalising the safety of Java, the Java Virtual Machine and Java Card

Pieter H. Hartel, L.A.V. Moreau

Research output: Book/Report › Report › Other research output

26 Downloads (Pure)

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Feb 2001

Name
Publisher	Centre for Telematics and Information Technology, University of Twente
No.	TR-CTI
ISSN (Print)	1381-3625

Keywords

@book{cecb6d6fe45a4b229f6f3b7c414b5e22,

title = "Formalising the safety of Java, the Java Virtual Machine and Java Card",

keywords = "EWI-5928, SCS-Cybersecurity, IR-63116",

author = "Hartel, {Pieter H.} and L.A.V. Moreau",

note = "Imported from CTIT",

year = "2001",

month = feb,

language = "Undefined",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTI",

address = "Netherlands",

}

TY - BOOK

T1 - Formalising the safety of Java, the Java Virtual Machine and Java Card

AU - Hartel, Pieter H.

AU - Moreau, L.A.V.

N1 - Imported from CTIT

PY - 2001/2

Y1 - 2001/2

KW - EWI-5928

KW - SCS-Cybersecurity

KW - IR-63116

M3 - Report

BT - Formalising the safety of Java, the Java Virtual Machine and Java Card

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -