Toolassisted specification and verification of the javacard platform (2002)

by G Barthe, P Courtieu, P Dufay, M de Sousa S
Venue:AMAST 2002, volume 2422 of LNCS