First Page | Document Content | |
---|---|---|
Date: 2014-10-24 08:52:42 | Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have bAdd to Reading ListSource URL: lamport.azurewebsites.netDownload Document from Source WebsiteFile Size: 438,39 KBShare Document on Facebook |