Formal specification and verification of JavaCard%27s applic…
Formal specification and verification of JavaCard%27s application identifier class
Article, Chapter
Authors:
J.A.G.M. van den Berg
We were unable to find direct full text links for this item.