📈
wiki
Search...
Ctrl
K
Computer Science
Formal verification
TLA+
Previous
Lean
Next
Garbage Collection
Last updated
5 years ago
Books
Links
Practical TLA+: Planning Driven Development by Hillel Wayne
Using formal methods at Amazon