A Program Logic for Handling JAVA CARD's Transaction Mechanism.

Bernhard Beckert Wojciech Mostowski A Program Logic for Handling JAVA CARD's Transaction Mechanism. 246-260 2003 conf/fase/2003 FASE http://link.springer.de/link/service/series/0558/bibs/2621/26210246.htm db/conf/fase/fase2003.html#BeckertM03