Conference
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
Authors
Grandy H; Bischof M; Stenzel K; Schellhorn G; Reif W
Editors
Cuéllar J; Maibaum TSE; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Pagination
pp. 165-180
Publisher
Springer
Publication Date
January 1, 2008
ISBN-13
978-3-540-68235-6
Conference proceedings
FM