The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (2006)

by G. Schellhorn, H. Grandy, D. Haneberg, W. Reif