The Atlantic (@TheAtlantic)
September 26, 2017
Good article.
As with model-based design, TLA+ draws your focus to the high-level structure of a system, its essential logic, rather than to the code that implements it.Leslie Lamport, a Turing Award–winning computer scientist
https://www.mathpax.com/feed 
