Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf] (assets.amazon.science) 3 points by hakejam 4y ago ↗ HN
0 comments
[ 2.1 ms ] story [ 7.5 ms ] threadNo comments yet.