TY  - JOUR
A1  - Grandy, Holger
A1  - Bischof, Markus
A1  - Stenzel, Kurt
A1  - Schellhorn, Gerhard
A1  - Reif, Wolfgang
T1  - Verification of Mondex electronic purses with KIV: from a security protocol to verified code
T2  - Lecture Notes in Computer Science
Y1  - 2008
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58514
SN  - 9783540682356
SN  - 9783540682370
VL  - 5014
SP  - 165
EP  - 180
PB  - Springer
CY  - Berlin
ER  -