Formal specification of the JavaCard API in JML%25253A the A…
Formal specification of the JavaCard API in JML%25253A the APDU class
Article, Chapter
Authors:
E.
Published:
2000
We were unable to find direct full text links for this item.