Why Amazon Chose TLA +. - Chris Newcombe (ABZ, 2014)

How Amazon web services uses formal methods. - Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff (Commun. ACM, 2015)