2 ms·
Amazon uses it, even made publications for it.
by papermachete 7y ago
Amazon uses it, even made publications for it.
- Upvoter33 7y agohttps://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf https://lamport.azurewebsites.net/tla/formal-methods-amazon.... for those who are interested