Treffer: How Amazon Web Services Uses Formal Methods.
Title:
How Amazon Web Services Uses Formal Methods.
Authors:
NEWCOMBE, CHRIS1 (AUTHOR) chris.newcombe@gmail.com, RATH, TIM2 (AUTHOR) rath@amazon.com, FAN ZHANG3,4 (AUTHOR) fanxhang58@gmail.com, MUNTEANU, BOGDAN5,6 (AUTHOR) bogdanmunte@gmail.com, BROOKER, MARC7 (AUTHOR) mbrooker@amazon.com, DEARDEUFF, MICHAEL8 (AUTHOR) mdearde@amazon.com
Source:
Communications of the ACM. Apr2015, Vol. 58 Issue 4, p66-73. 8p. 1 Diagram, 1 Chart.
Database:
Business Source Ultimate