JCML

swMATH6406MaRDI QIDQ18523FDOQ18523

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• Specification and runtime verification of Java card programs

This page was built for software: JCML