Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Article URL: https://queue.acm.org/detail.cfm?id=3712057

Comments URL: https://news.ycombinator.com/item?id=43547593

Points: 33

# Comments: 5