Specification and Runtime Verification of Java Card Programs
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza NetoVolume:
240
Year:
2009
Language:
english
Pages:
18
DOI:
10.1016/j.entcs.2009.05.045
File:
PDF, 386 KB
english, 2009