Treffer: Java bytecode verification on Java cards

Title:
Java bytecode verification on Java cards
Authors:
Barbuti, Roberto, Cataudella, Stefano
Source:
Proceedings of the 2004 ACM symposium on Applied computing. :431-438
Availability:
http://dl.acm.org/doi/10.1145/967900.967991
Database:
ACM Full-Text Collection