Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com
3 points
eatonphil
10 months ago
No comment yet
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS | Heykuki News