discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Developing Provably-Correct Software Using Formal Methods
http://www.infoq.com/news/2015/05/provably-correct-software
14 comments
31/5/2015