How Amazon Web Services Uses Formal Methodscacm.acm.org1 point·lifty··0 commentsOpen articleSaveView on HN