de Sousa. A Formal Executable Semantics of the JavaCard Platform (2001)

by G Barthe, G Dufay, L Jakubiec, B Serpette, S Melo
Venue:Proceedings of ESOP’01, volume 2028 of LNCS