Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Na minha lista:
Detalhes bibliográficos
Principais autores: Costa, Umberto Souza da, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.
Formato: article
Idioma:eng
Publicado em: Elsevier
Assuntos:
Java Card.
Compile
Runtime Verification
Endereço do item:https://repositorio.ufrn.br/jspui/handle/1/6230
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/1/6230

Registros relacionados