news.volyx.in

Where are we going from here? Software engineering needs formal methods (ntietz.com)

139 points by ntietz · 1910 days ago · 131 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.