Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.

Ludovic Casset

Browse the full FM paper archive.