Hacker Neus
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
(queue.acm.org)
162 points
by yarapavan
2 days ago |
52 comments
