On Formal Methods Thinking in Computer Science Education | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		On Formal Methods Thinking in Computer Science Education (tue.nl)
		2 points by rramadass 6 months ago \| hide \| past \| favorite \| 1 comment

rramadass 6 months ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact