Specification, proof, and model checking of the Mondex electronic purse using RAISE.

Chris George Anne Elisabeth Haxthausen Specification, proof, and model checking of the Mondex electronic purse using RAISE. 101-116 2008 20 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-007-0054-3 db/journals/fac/fac20.html#GeorgeH08