Leslie Lamport Last modified 3 August 2018 This page contains a highly abridged version of the following article about TLA+ use at Amazon, published in April, 2015: How Amazon Web Services Uses Formal…
Get and save the most relevant links from around the web. Tailored for you.
Or continue with Twitter, Facebook, Google
Already a member? Sign in