Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
3 points
1 day ago
| 0 comments
| podcasts.apple.com
| HN
No one has commented on this post.