bn:17395613n
Noun Named Entity
AR
No term available
EN
TLA+ is a formal specification language developed by Leslie Lamport. Wikipedia
Relations
Sources