Journal of Logic and Algebraic Programming, Volume 58

Volume 58, Numbers 1-2, January - March 2004

Formal Methods for Smart Cards
a service of Schloss Dagstuhl - Leibniz Center for Informatics