Hacker News new | ask | show | jobs
Pawel Szulc – Formal verification applied (with TLA+) (youtube.com)
2 points by vivekseth 2149 days ago