Login / Signup
Correctness of Java Card Method Lookup via Logical Relations.
Ewen Denney
Thomas P. Jensen
Published in:
ESOP (2000)
Keyphrases
</>
business processes
computational efficiency