Hacker News new | ask | show | jobs
Paper Notes: Use of Formal Methods at Amazon Web Services (vishnubharathi.codes)
1 points by wawhal 947 days ago