Use of Formal Methods at Amazon Web Services (2014) [pdf]research.microsoft.com84 pointsTomte10 years ago