"Formal methods for smart cards: an experience report."

Cees-Bart Breunesse et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics