Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video](youtube.com)
youtube.com
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]
https://www.youtube.com/watch?v=UGdMf7tC25Y
0 comments
—
https://www.youtube.com/watch?v=UGdMf7tC25Y
—