HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Tackling Concurrency Bugs with TLA+ | Hacker News Reader
Tackling Concurrency Bugs with TLA+
youtube.com
7 points
·
pron
·
·
1 comment
Open article
Save
View on HN
StreamBright
·
This is pretty amazing resource to get started with TLA+
Reply on news.ycombinator.com