![](/img/cover-not-exists.png)
JCML: A specification language for the runtime verification of Java Card programs
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza NetoVolume:
77
Year:
2012
Language:
english
Pages:
18
DOI:
10.1016/j.scico.2010.03.003
File:
PDF, 753 KB
english, 2012