Correctness of Java Card Method Lookup via Logical Relations (2000)

by E Denney, T Jensen
Venue:In 9th European Symp. on Programming (ESOP