15 Years of Formal Methods at AWS: Just Good Engineering Practice?brooker.co.za2 points·transpute··1 commentOpen articleSaveView on HN