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 Neto. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming, 77(4):533-550, 2012. [doi]

Abstract

Abstract is missing.