C cslab.pepperdine.edu How Amazon Web Services Uses Formal Methods (2015) [pdf] 199 points mindcrime 6 years ago 28 comments
