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

Book Title: Systems Correctness Practices at AWS Leveraging Formal and Semi-formal Methods
Link: https://queue.acm.org/detail.cfm?id=3712057