How Amazon Web Services Uses Formal Methods [pdf]delivery.acm.org2 points·cheez··0 commentsOpen articleSaveView on HN