Comment by mjb
3 years ago
Yes, indeed. We talk about it here https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-... (or here https://lamport.azurewebsites.net/tla/formal-methods-amazon.... if you can't access that).
3 years ago
Yes, indeed. We talk about it here https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-... (or here https://lamport.azurewebsites.net/tla/formal-methods-amazon.... if you can't access that).
No comments yet
Contribute on Hacker News ↗