Lora Kassab;Steven J. Greenwald
-;-
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)