Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS (via eatonphil) — discussion

#audio #distributed #formalmethods