CCET - DIMAP - Artigos publicados em periódicos : [3] Página principal da coleção Visualizar estatísticas

Navegar
Assinar esta coleção para receber notificações por e-mail de cada item inserido RSS Feed RSS Feed RSS Feed
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 3 de 3
Data do documentoTítuloAutor(es)
24-Mai-2013Maude Object-Oriented Action ToolMaidl, André Murbach,; Carvilhe, Cláudio,; Musicante, Martin A.,
2009Specification and Runtime Verification of Java Card ProgramsCosta, Umberto Souza da; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.
19-Mar-2010JCML: A specification language for the runtime verification of Java Card programsMoreira, Anamaria Martins; Costa, Umberto Souza da; Musicante, Martin A.; Souza Neto, Plácido A.
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 3 de 3