B brooker.co.za Formal methods: Just good engineering practice? 179 points ot 2 years ago 149 comments
