Reasoning about Card Tears and Transactions in Java Card.

Engelbert Hubbers, Erik Poll

Browse the full FASE paper archive.