Navegando por Autor "Musicante, Martin A."
Agora exibindo 1 - 2 de 2
- Resultados por página
- Opções de Ordenação
Artigo JCML: A specification language for the runtime verification of Java Card programs(Elsevier, 2010-03-19) Moreira, Anamaria Martins; Costa, Umberto Souza da; Musicante, Martin A.; Souza Neto, Plácido A.Artigo Specification and Runtime Verification of Java Card Programs(Elsevier, 2009) Costa, Umberto Souza da; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.