Sunday, September 7, 2014

A shallow survey of formal methods for C code

Comments



from Hacker News http://bit.ly/WChqVN
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)