Jakarta: A Toolset for Reasoning about JavaCard

Smart Card Programming and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-45418-7_2 ◽

2001 ◽

pp. 2-18 ◽

Author(s):

G. Barthe ◽

G. Dufay ◽

M. Huisman ◽

S. Melo de Sousa

Download Full-text