B brooker.co.za Formal methods only solve half my problems 78 points signa11 10 months ago 30 comments
