Java Card Code Generation from B Specifications.

Wed, 01 Jan 2003 00:00:00 +0100

Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad:
Java Card Code Generation from B Specifications. ICFEM 2003: 306-318