Use of Formal Methods at Amazon Web Services [pdf]http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf by brown9-2 • 12 years ago 4 0 12 years agoREresearch.microsoft.com