Bytecode verification on Java smart cards

Xavier Leroy. Bytecode verification on Java smart cards. Software: Practice and Experience, 32(4):319-340, 2002.

Possibly Related Publications

The following publications are possibly variants of this publication: