Original language | English |
---|---|
Pages (from-to) | 1-2 |
Number of pages | 2 |
Journal | Journal of logic and algebraic programming |
Volume | 58 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - 2004 |
Externally published | Yes |
Guest editors' introduction: Special issue on Formal Methods for Smart Cards
Marieke Huisman, Thomas P. Jensen
Research output: Contribution to journal › Article › Academic
17
Downloads
(Pure)