Hacker News new | ask | show | jobs
How Amazon Web Services Uses Formal Methods (2015) (amazon.science)
2 points by zwliew 697 days ago