# content
Why Writing Correct Software Is Hard (2016) (via ocramz) — discussion

#compilers #formalmethods #math