Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
TLA+: design, model, document, and verify concurrent systems
lamport.azurewebsites.net
148 points
lolptdr
7 years ago
32 comments
Loading...
TLA+: design, model, document, and verify concurrent systems | Heykuki News