lamport.azurewebsites.net/tla/amazon-excerpt.html
Preview meta tags from the lamport.azurewebsites.net website.
Linked Hostnames
2General Meta Tags
3- titleAbridged Version of Amazon Paper
- Content-Typetext/html; charset=iso-8859-1
- GENERATORMozilla/4.05 [en] (X11; I; OSF1 V4.0 alpha) [Netscape]
Link Tags
1- stylesheettlaweb.css
Links
2- https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
- https://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_3