B brooker.co.za Formal Methods: Just Good Engineering Practice? (2024) 211 points aiono 1 year ago 133 comments
