news.volyx.in

Formal Methods of Software Design an Online Course by Eric Hehner (cs.utoronto.ca)

254 points by blewboarwastake · 2008 days ago · 39 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.