On: On Formal Methods Thinking in Computer Science Education

[rramadass]

Highly 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