Pawel Szulc – Formal verification applied (with TLA+)youtube.com2 points·vivekseth··0 commentsOpen articleSaveView on HN