From Finite State Machines to Provably Correct Java Card Applets.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Browse the full SEC paper archive.