[HN Gopher] Formal specs as sets of behaviors
       ___________________________________________________________________
        
       Formal specs as sets of behaviors
        
       Author : Bogdanp
       Score  : 10 points
       Date   : 2025-07-27 20:13 UTC (2 hours ago)
        
 (HTM) web link (surfingcomplexity.blog)
 (TXT) w3m dump (surfingcomplexity.blog)
        
       ___________________________________________________________________
       (page generated 2025-07-27 23:00 UTC)