bn:17395613n
Noun Named Entity
PT
TLA+
EN
TLA+ is a formal specification language developed by Leslie Lamport. Wikipedia
Relations
Sources
Wikidata
PT