Simão Melo de Sousa. A Formal Executable Semantics of the JavaCard Platform (2001)

by Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette
Venue:In Proc. ESOP’01, number 2028 in Lecture Notes in Computer Science