Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]
(opens in new tab)
(youtube.com)
2 points
wwilson
7mo ago
0 comments
Share
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video] | Better HN
0 comments
No comments yet.
