Bytecode verification on Java smart cards

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

@article{Leroy02,
  title = {Bytecode verification on Java smart cards},
  author = {Xavier Leroy},
  year = {2002},
  tags = {Java},
  researchr = {https://researchr.org/publication/Leroy02},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {32},
  number = {4},
  pages = {319-340},
}