FACADE: A Typed Intermediate Language Dedicated to Smart Cards

@inproceedings{Grimaud-al:FSE99,
  author    = {Gilles Grimaud and
               Jean{-}Louis Lanet and
               Jean{-}Jacques Vandewalle},
  title     = {{FACADE:} A Typed Intermediate Language Dedicated to Smart Cards},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {476--493},
  series    = {LNCS},
  volume    = {1687},
  publisher = {Springer},
  year      = {1999},
  doi       = {10.1007/3-540-48166-4\_29},
}