Starmorph News
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methodsqueue.acm.org
162 points by yarapavan 1 days ago | 52 comments