A High-Level View of TLA+

[blobcode]

Article URL: https://lamport.azurewebsites.net/tla/high-level-view.html

Comments URL: https://news.ycombinator.com/item?id=44142592

Points: 53

# Comments: 15