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

Marieke Huisman, Thomas P. Jensen

Research output: Contribution to journalArticleAcademic

Original languageEnglish
Pages (from-to)1-2
Number of pages2
JournalJournal of logic and algebraic programming
Volume58
Issue number1-2
DOIs
Publication statusPublished - 2004
Externally publishedYes

Cite this