Descargar

Formal specification of Gemplus’ electronic purse