JCML

swMATH6406MaRDI QIDQ18523FDOQ18523

Author name not available (Why is that?)

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