Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full IFM paper archive.