L. du du Bousquet, J.-L. Lanet, H. Martin. Enhancing Java Card applet validation process: a methodology and its associated tools. e-SMART, Sophia Antipolis, France, 2003.
@Misc{COM-03:vasco-83,
Author = {du Bousquet, L. du and Lanet, J.-L. and Martin, H.},
Title = {{Enhancing Java Card applet validation process: a methodology and its associated tools}},
BookTitle = {{e-SMART}},
Address = {Sophia Antipolis, France},
Year = {2003}
}
Get EndNote Reference (.ref)