cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Preview meta tags from the cacm.acm.org website.
Linked Hostnames
16- 58 links tocacm.acm.org
- 4 links todl.acm.org
- 4 links towww.acm.org
- 3 links toresearch.microsoft.com
- 2 links toaws.typepad.com
- 2 links tohpts.ws
- 2 links totwitter.com
- 2 links towww.reddit.com
General Meta Tags
6- titleHow Amazon Web Services Uses Formal Methods – Communications of the ACM
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- robotsmax-image-preview:large
- generatorWordPress 6.6.2
Link Tags
26- EditURIhttps://cacm.acm.org/xmlrpc.php?rsd
- alternatehttps://cacm.acm.org/feed/
- alternatehttps://cacm.acm.org/comments/feed/
- alternatehttps://cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/feed/
- alternatehttps://cacm.acm.org/wp-json/wp/v2/digital-library/68484
Emails
6- [email protected]
- [email protected]
- [email protected]
- [email protected]
- mbrooker@amazon
Links
85- http://Amazon.com
- http://aws.typepad.com/aws/2012/06/amazon-s3-the-first-trillion-objects.html
- http://aws.typepad.com/aws/2013/04/amazons3-two-trillion-objects-11-million-requests-second.html
- http://brooker.co.za/blog/2013/01/20/two-phase.html
- http://docs.aws.amazon.com/amazondynamodb/latest/developerguide/APISummary.html