[HN Gopher] Formal Methods Only Solve Half My Problems ___________________________________________________________________ Formal Methods Only Solve Half My Problems Author : mjb Score : 9 points Date : 2022-06-02 15:16 UTC (1 days ago) (HTM) web link (brooker.co.za) (TXT) w3m dump (brooker.co.za) ___________________________________________________________________ (page generated 2022-06-03 23:00 UTC)