Formalizing the safety of Java, the Java virtual machine, and Java card (2001)

by P Hartel, L Moreau
Venue:ACM Computing Surveys