elementary-REAL

MaRDI QIDQ32814swMATHFDO

Official website https://zbmath.org/?q=an:01592111

Cited in

(1)

• Specification and verification of distributed systems by means of the elementary-REAL language

This page was built for software: elementary-REAL