|
ComputingReviews.com
|
How Amazon Web Services uses formal methods Newcombe C., Rath T., Zhang F., Munteanu B., Brooker M., Deardeuff M. Communications of the ACM58(4):66-73,2015.Type:Article |
|
|
|
Published By: ACM Press |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|