How Amazon Web Services Uses Formal Methods – Communications of the ACM

cacm.acm.org cacm.acm.org