W.: Verification of Mondex electronic purses with KIV: from transactions to a security protocol (0)

by D Haneberg, G Schellhorn, H Grandy, Reif
Venue:Formal Aspects of Computing 20(1), 41–59 (2007) Benchmarks for Software Verification Tools and Techniques 97