๐
wiki
More
Search
Ctrl +โK
TLA+
Books
Links
Previous
Lean
Next
Garbage Collection
Last updated
4 years ago
Practical TLA+: Planning Driven Development by Hillel Wayne
Using formal methods at Amazon