1
Assuntos:
“...Java Card...”
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
Dissertação
2
3
Assuntos:
“...Java Card...”
JCML - Java Card Modeling Language: Definição e Implementação
Dissertação
4
Assuntos:
“...java card...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação