COM-03:vasco-83

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.

Référence BibTex

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

Référence EndNote [help]

Charger la référence EndNote (.ref)