A shallow survey of formal methods for C code

Comments



from Hacker News http://bit.ly/WChqVN