Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2022 USENIX Annual Technical Conference, 2022
How Amazon web services uses formal methods.
Commun. ACM, 2015