| |
| 2008 | ||
|---|---|---|
| 3 | EE | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: BSmart: A Tool for the Development of Java Card Applications with the B Method. ABZ 2008: 351-352 |
| 2007 | ||
| 2 | EE | Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe: Developing Java Card Applications with B. Electr. Notes Theor. Comput. Sci. 184: 81-96 (2007) |
| 2006 | ||
| 1 | EE | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Automation of Java Card component development using the B method. ICECCS 2006: 259-268 |
| 1 | David Déharbe | [1] [2] [3] |
| 2 | Anamaria Martins Moreira | [1] [2] [3] |