How Amazon Web Services Uses Formal Methods (2015)amazon.science2 points·zwliew··0 commentsOpen articleSaveView on HN