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

Research output: Contribution to journal › Article › Academic

6 Downloads (Pure)

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	https://doi.org/10.1016/j.jlap.2003.07.002
Publication status	Published - 2004
Externally published	Yes

Access to Document

@article{d1f88b03e0804f38b2ebc4113981b043,

title = "Guest editors' introduction: Special issue on Formal Methods for Smart Cards",

author = "Marieke Huisman and Jensen, {Thomas P.}",

year = "2004",

doi = "10.1016/j.jlap.2003.07.002",

language = "English",

volume = "58",

pages = "1--2",

journal = "Journal of logic and algebraic programming",

issn = "1567-8326",

publisher = "Elsevier",

number = "1-2",

}

TY - JOUR

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

AU - Huisman, Marieke

AU - Jensen, Thomas P.

PY - 2004

Y1 - 2004

U2 - 10.1016/j.jlap.2003.07.002

DO - 10.1016/j.jlap.2003.07.002

M3 - Article

VL - 58

SP - 1

EP - 2

JO - Journal of logic and algebraic programming

JF - Journal of logic and algebraic programming

SN - 1567-8326

IS - 1-2

ER -