JCML

MaRDI QIDQ18523swMATHFDO

Official website http://code.google.com/p/jcml/

Described by source

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

Cited in

(2)

• LOOP
• Specification and runtime verification of Java card programs

This page was built for software: JCML