Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]

2 points | by wwilson a day ago