Login / Signup

Guest editors' introduction: Special issue on Formal Methods for Smart Cards.

Marieke HuismanThomas P. Jensen
Published in: J. Log. Algebraic Methods Program. (2004)
Keyphrases