JCML: A specification language for the runtime verification of Java Card programs

✍ Scribed by Umberto Souza da Costa; Anamaria Martins Moreira; Martin A. Musicante; Plácido A. Souza Neto

• Book ID: 113890134
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 753 KB
• Volume: 77
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2010.03.003