Jump to : Contact | BibTex reference | EndNote reference |

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)