Use of Formal Methods at Amazon Web Services [pdf]research.microsoft.com4 points·brown9-2··0 commentsOpen articleSaveView on HN