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