duBousquet-Martin:WSTDV2000

L. Du Bousquet, H. Martin. Automatic test generation for Java-Card applets. In 4th Workshop on Tools for System Design and Verification, July 2000.

BibTex Reference

@InProceedings{duBousquet-Martin:WSTDV2000,
   Author = {Du Bousquet, L. and Martin, H.},
   Title = {Automatic test generation for Java-{Card applets}},
   BookTitle = {4th Workshop on Tools for System Design and Verification},
   Month = {July},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)