Formalizing the safety of Java, the Java virtual machine, and Java card

Pieter H. Hartel, Luc Moreau. Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Computing Surveys, 33(4):517-558, 2001. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.