discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
State explosion in programming languages
http://blog.ashwinraghav.com/2011/08/26/model-checking-in-software-systems-and-programming-languages/
2 comments
26/8/2011