Emil Vassev on the cutting edge of formal verification methods. http://intelligence.org/2014/01/30/emil-vassev-on-formal-verification/ …
9:12 AM - 2 Feb 2014
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.