How AWS uses automated reasoning to help you achieve security at scaleaws.amazon.com1 point·ghettoimp··0 commentsOpen articleSaveView on HN