 | 2010 |
|---|
| 5 |       | Bruno Emerson Gurgel Gomes,
David Déharbe,
Anamaria Martins Moreira,
Katia Moraes:
Applying the B Method for the Rigorous Development of Smart Card Applications.
ASM 2010: 203-216 |
| 2009 |
|---|
| 4 | | David Déharbe,
Bruno Emerson Gurgel Gomes,
Anamaria Martins Moreira:
Refining interfaces: the case of the B method
CoRR abs/0907.2039: (2009) |
| 2008 |
|---|
| 3 | | 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 | | 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 | | David Déharbe,
Bruno Emerson Gurgel Gomes,
Anamaria Martins Moreira:
Automation of Java Card component development using the B method.
ICECCS 2006: 259-268 |
Data released under the ODC-BY 1.0 license — See also our legal information page