SafeJML

MaRDI QIDQ5972677swMATHFDO

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