3 ms·
On Formal Methods Thinking in Computer Science Education
- rramadass 1y agoHighly relevant for all Software Developers. Also see the paper Programming Really Is Simple Mathematics by Bertrand Meyer et.al - https://news.ycombinator.com/item?id=44719051 https://news.ycombinator.com/item?id=44719051