Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf]
lamport.azurewebsites.net
3 points
Anon84
6 years ago
No comment yet
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf] | Heykuki News