Hacker News new | ask | show | jobs
Lean into Verified Software Development (aws.amazon.com)
3 points by mauricioc 806 days ago