BACK TO INDEX

Books and proceedings

2004

  1. M. Huisman and T. Jensen, editors. J. Logic and Algebraic Programming. Special issue on Formal Methods for Smart Cards, vol. 58(1-2), 2004. Elsevier. [bibtex-entry]


2001

  1. Isabelle Attali and Thomas Jensen, editors. Smart Card Programming and Security (e-Smart 2001), September 2001. Springer LNCS vol. 2140. [bibtex-entry]


2000

  1. I. Attali and T. Jensen, editors. Proceedings of the International Workshop on Java Card (Java Card 2000), Cannes, France, Septembre 2000. Inria. [bibtex-entry]



BACK TO INDEX

This document was translated from BibTEX by bibtex2html