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

Cached

Download Links

by Ewen Denney , Thomas Jensen
Venue:In 9th European Symp. on Programming (ESOP
Citations:7 - 4 self