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}, }