Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.

Claude March, Nicolas Rousset

Browse the full SEFM paper archive.