Formal methods: Just good engineering practice?brooker.co.za2 points·ot··0 commentsOpen articleSaveView on HN