Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle. FACADE: A Typed Intermediate Language Dedicated to Smart Cards. In Oscar Nierstrasz, Michel Lemoine, editors, Software Engineering - ESEC/FSE 99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings. Volume 1687 of Lecture Notes in Computer Science, pages 476-493, Springer, 1999. [doi]
Abstract is missing.