Java Card Code Generation from B Specifications.

Bruno Tatibout, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad

Browse the full ICFEM paper archive.