Hacker News new | ask | show | jobs
Formal Methods in Practice: Using TLA+ at ESpark Learning (medium.com)
3 points by YAFZ 3387 days ago