Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
Verification of Java Card applets behavior with respect to transactions and card tearsSoftware Engineering and Formal Methods, Sep 2006, Pune, India
Communication dans un congrès
inria-00129055v1
|