- Artículo:
Formalizing the Safety of Java, the Java Virtual Machine, and Java Card
- Autor:
P.H. Hartel
L. Moreau
- Página:
517
- Publicación:
ACM Computing surveys
- Volúmen:
33
- Número:
4
- Periodo:
Diciembre 2001
- ISSN:
03600300
- SrcID:
03600300-2001-04.txt
- Documento número 1466383
- Actualizado el jueves, 22 de abril de 2021 06:01:13 p. m.
- Creado el jueves, 22 de abril de 2021 06:01:13 p. m.
- Enlace directo
