Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Specifying Systems (TLA+ Book) out and free for personal use
lamport.azurewebsites.net
8 points
paxos_failure
8 years ago
No comment yet
Specifying Systems (TLA+ Book) out and free for personal use | Heykuki News