{FACADE}: {A} Typed Intermediate Language Dedicated to Smart Cards

Bibtex entry :

@inproceedings {  grimaud99facade,
    author = { Gilles Grimaud and Jean-Louis Lanet and Jean-Jacques Vandewalle },
    title = { {FACADE}: {A} Typed Intermediate Language Dedicated to Smart Cards },
    booktitle = { Software Engineering -- {ESEC/{FSE}'99} },
    number = { 1687 },
    publisher = { Springer-Verlag, Berlin Germany },
    editor = { O. Nierstrasz and M. Lemoine },
    pages = { 476--493 },
    year = { 1999 },
    url = { citeseer.ist.psu.edu/grimaud99facade.html },
}