3 ms·
"How Amazon Web Services Uses Formal Methods" http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext http://cacm.acm.o
by ahelwer 11y ago
"How Amazon Web Services Uses Formal Methods" http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...