Why Writing Correct Software Is Hard (2016) (via ocramz) — discussion
#compilers #formalmethods #math
