TY  - GEN
AU  - Stärk 
AU  - Börger
AU  - Schmid
TI  - Java and the java virtual machine : definition, verification, validation
SN  - 3540420886
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Java (langage de programmation)
KW  - Systèmes virtuels (informatique)
KW  - 004.1 Informatique théorique
ER  -