Back to Results
First PageMeta Content



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 b
Add to Reading List

Document Date: 2014-10-24 08:52:42


Open Document

File Size: 438,39 KB

Share Result on Facebook
UPDATE