@inproceedings{FM-2008-GrandyBSSR,
author = "Holger Grandy and Markus Bischof and Kurt Stenzel and Gerhard Schellhorn and Wolfgang Reif",
booktitle = "{Proceedings of the 15th International Symposium of Formal Methods}",
doi = "10.1007/978-3-540-68237-0_13",
isbn = "978-3-540-68235-6",
pages = "165--180",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code}",
volume = 5014,
year = 2008,
}
Tags: