The Coming Software Apocalypse Apr 2018

The Atlantic (@TheAtlantic)
September 26, 2017

The Atlantic

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

Leave a Reply

Your email address will not be published.