Correctness of Java Card Method Lookup via Logical Relations.

Ewen Denney, Thomas P. Jensen

Browse the full ESOP paper archive.