"Tackling Concurrency Bugs with TLA+" by Hillel WayneStrange Loop Conference2018 · 3 HN recs · 3 months