1 resultado para JAVA (LINGUAGEM DE PROGRAMAÇÃO)

em Repositório Institucional da Universidade Federal do Rio Grande do Norte


Relevância:

100.00% 100.00%

Publicador:

Resumo:

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.