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

by E Denney, T Jensen
Venue:Proceedings of the 2000 European Symposium on Programming (ESOP’00), volume 1782 of Lecture Notes in Computer Science