Pawel Szulc – Formal verification applied (with TLA+)

2 points| vivekseth | 5 years ago |youtube.com