Media type: E-Article Title: Smart Card Research and Advanced Applications: Certifying Native Java Card API by Formal Refinement Contributor: Nguyen, Quang-Huy; Chetali, Boutheina Published: Springer Berlin Heidelberg, 2006 Published in: Smart Card Research and Advanced Applications (2006), Seite 313-328 Language: Not determined DOI: 10.1007/11733447_23 ISSN: 0302-9743; 1611-3349 Origination: Footnote: