JCML

From MaRDI portal

Software:18523

Jump to:navigation, search

swMATH6406MaRDI QIDQ18523

No author found.

Described by source

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

Related Items (1)

Specification and Runtime Verification of Java Card Programs

This page was built for software: JCML

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:18523&oldid=29433673"