SafeJML

swMATH42359MaRDI QIDQ5972677FDOQ5972677

Author name not available (Why is that?)

Official website: https://sourceforge.net/p/jmlspecs/wiki/SafeJML/

Cited In (2)

• CSP and Kripke Structures
• The safety-critical Java memory model formalised

This page was built for software: SafeJML