[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)