The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif

Browse the full FM paper archive.