Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] (youtube.com) 2 points by wwilson 11mo ago ↗ HN
0 comments
[ 3.4 ms ] story [ 8.2 ms ] threadNo comments yet.