ExpertClub
  1. Home
  2. Programming languages
  3. TLA+
Language

TLA+

Paradigmsaction language
First appeared1999
Designed byLeslie Lamport
Typeprogramming language
LicenseMIT License
Websitelamport.azurewebsites.net

Sources: Wikidata (CC0) · Wikidata Q28955120