Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]
2 points
2 hours ago
| 0 comments
| assets.amazon.science
| HN
No one has commented on this post.